The Study Of OS Design Based On Microkernel And Application Of Embedded Virtualization

At present, as the significant increasing of embedded processor and the pop-ularity of many communication technologies of high-bandwidth network, embed-ded virtualization technology is already applied in in the military and civilian aspects but not too much. Importantly, a uniform pattern and a fixed standard is not formed in the embedded virtualization fields. Micro-kernel operating sys-tems get rid of the bad reputation gradually and widely applied in the many fields such as consumer electronics, automotive electronics and others. At the same time, micro-kernel systems design method is also gradually adopted by many system designers and operating system manufacturers.Therefore, the goal of this study includes:explore the design principles and related technologies of micro-kernel technology then have a conclusion about these kernels; design and implement the embedded visualization platform based on microkernel method: a secure and robust solution based on the virtualization platform is proposed in order to improve the security and robustness of versatile embedded devices such as smartpone and mobile tablet in the3G/4G times.Firstly, the design of the1st generation microkernel. the2nd generation mi-crokernel and3rd generation microkernel is detailed based on microkernel method in turn and concludes the future of microkernel technology. The1st generation microkernel was driven into the2nd microkcnel by performance improvement and the2nd generation microkernel is being driven into the2nd generation micro-kernel because the sccuritv issues ignored by the2nd microkernel. Finally it is demonstrated virtualization has become one of the main directions of microkernel research. Secondly, Type I virtuaization based para-virtualization technology is used in the embedded virtualization described in the paper and POSIX PSE51sup-porting is necessary for the guest operating system.Thirdly, an embedded virtualization platform based on the2nd generation microkernel and the3rd generation microkernel is designed and implemented, sep-arataly named with L4eRTL and L4eRTL.OC. With respect to L4eRTL L4eRTL.OC could be securer and more robust, providing greater protection and more strin-gent isolation. And a reliable architectucr based on the platform is also proposed with an instance of a step motor PC-controlling system.