Title :
The analysis of L4 Linux implementation for education
Author :
Zhou, Qingguo ; Li, Canyu ; Ding, Ying ; Cheng, Guanghui ; Bin Hu
Author_Institution :
Distrib. & Embedded Syst. Lab. (DSLab), Lanzhou Univ., Lanzhou, China
Abstract :
L4 Linux is a use-level Linux running on top of L4/Fiasco, which is developed at Dresden Operating System Research Group. Most of the L4 Linux documentation are focus on the programming technique, other than emphasizing the design and implementation of the L4 Linux. This paper aimed at L4 Linux education, containing microkernel based OS concept and the implementation of L4Linux. It would make more people come to understand L4Linux and the learning process easier. The article presented the details in four aspects, timer, interrupt, memory and exception handling.
Keywords :
Linux; computer aided instruction; L4 Linux analysis; L4 Linux education; L4/Fiasco; learning process; microkernel based OS concept; programming technique; Documentation; Educational programs; Embedded system; Kernel; Linux; Open source software; Operating systems; Programming profession; Real time systems; Systems engineering education;
Conference_Titel :
IT in Medicine & Education, 2009. ITIME '09. IEEE International Symposium on
Conference_Location :
Jinan
Print_ISBN :
978-1-4244-3928-7
Electronic_ISBN :
978-1-4244-3930-0
DOI :
10.1109/ITIME.2009.5236446
