/

• TP1-Mini-kernel.pdf
• common
• grub
• kernel
• makefile
• mini_kernel