/kernel/src/

• ../
• arch
• drivers
• gaster.txt
• generic
• klibc
• main.cpp
• utils