A case study of microkernel for education

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.