The development of microkernel has sharply increased. One of the most successful microkernel implementation is L4. L4Linux is L4 version that is able to run virtualized Linux. We have also built our ...