A case study of microkernel for education

Author

Zhou Qingguo ; Ding Ying ; McGuire, Nicholas ; Li Canyu ; Cheng Guanghui ; Hu, Bin

Author_Institution

Distrib. & Embedded Syst. Lab. (DSLab), Lanzhou Univ., Lanzhou, China

Volume

1

fYear

2009

fDate

14-16 Aug. 2009

Firstpage

133

Lastpage

136

Abstract

The paper will introduce a new operating system architecture microkernel for education. For its safe, small, and flexible feature, microkernel is becoming widely use in various aspects. Taking it to education, will from different design architecture to make learner get deeper understanding of operating system mechanisms. Fiasco is a real, second-generation microkernel whose source code is less than 15,000 lines, and it is freely available under the GNU General Public License. In this paper, based on Fiasco, the microkernel operating system will be introduced especially in its kernel mechanism.

Keywords

computer aided instruction; operating system kernels; software architecture; Fiasco; GNU General Public License; design architecture; education; operating system architecture microkernel; second-generation microkernel; Computer architecture; Computer crashes; Embedded system; Kernel; Linux; Operating systems; Protection; Real time systems; Time sharing computer systems; Yarn;

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.5236445

Filename

5236445