An Overview of Microkernel Next Generation Research Project