A. S. Tanenbaum, Modern Operating Systems, 2007.

W. A. Christopher, S. J. Procter, and T. E. Anderson, The nachos instructional operating system, USENIX Winter 1993 Conference Proceedings, ser. USENIX'93, 1993.

D. A. Holland, A. T. Lim, and M. I. Seltzer, A new instructional operating system, Technical Symposium on Computer Science Education, pp.111-115, 2002.
DOI : 10.1145/563340.563383

D. Hovemeyer, J. K. Hollingsworth, and B. Bhattacharjee, Running on the bare metal with geekos, Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, ser. SIGCSE '04, pp.315-319, 2004.
DOI : 10.1145/971300.971411
URL : http://geekos.sourceforge.net/docs/sigcse2004.pdf

B. Pfaff, A. Romano, and G. Back, The pintos instructional operating system kernel, Proceedings of the 40th ACM Technical Symposium on Computer Science Education, ser. SIGCSE '09, pp.453-457, 2009.
DOI : 10.1145/1508865.1509023
URL : http://benpfaff.org/papers/pintos.pdf

A. S. Tanenbaum and A. S. , Operating Systems: Design and Implementation, ser. The MINIX Book, 2009.

C. M. Da-costa, J. L. Fragoso, L. Murliky, L. Da, L. Silva et al., Nke-um nanokernel educacional para microprocessadores arm, 2014.

C. L. Anderson and M. Nguyen, A survey of contemporary instructional operating systems for use in undergraduate courses, J. Comput. Sci. Coll, vol.21, issue.1, pp.183-190, 2005.

S. Hwang, Blended learning for teaching operating systems with Windows, ACM SIGCSE Bulletin, vol.41, issue.3, pp.380-380, 2009.
DOI : 10.1145/1595496.1563022

O. Laadan, J. Nieh, and N. Viennot, Structured linux kernel projects for teaching operating systems concepts, Proceedings of the 42nd ACM technical symposium on Computer science education, SIGCSE '11, pp.287-292, 2011.
DOI : 10.1145/1953163.1953250
URL : http://systems.cs.columbia.edu/files/wpid-sigcse2011-os.pdf

R. Cox, M. F. Kaashoek, and R. Morris, Xv6, a simple unix-like teaching operating system, 2011.

P. H. Penna, The Nanvix Operating System Pontifical Catholic University of Minas Gerais

M. J. Bach, The Design of the UNIX Operating System, 1986.