DocumentCode
3339670
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
Volume
1
fYear
2009
fDate
14-16 Aug. 2009
Firstpage
137
Lastpage
140
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ITIME.2009.5236446
Filename
5236446
Link To Document