Abstract:

With the embedded system becoming more and more complicated, the efficiency and reliability turns to be an obvious and serious problem. In our paper, we analyze the present device driver models ,and propose a new optimized device driver model based on the L4 microkernel virtualization to serve the special requirements of embedded devices. With this model, device drivers can be shared among multiple virtual machines, and the reliability can be greatly improved ,making up the performance cost brought by virtualization, and providing a virtual environment with the relative balance of efficiency , function, and reliability.

Key words: embedded system;virtualization;microkernel;L4;Fiasco;device driver