100644 blob c948b5f48b5145cfe8421e8eb71b27e15e139419	CMakeLists.txt
100644 blob 587523d076bfc71cdb8d433f49c541e42a41b4e9	Kconfig
040000 tree fcedd57188877f0e429360e39cdb12876391517a	core
100755 blob da95e4204af5f8f4c52556910f0a19eaa67168fa	gen_gdt.py
100755 blob 19d0cc1b2971a9c87c9dada3a387aa8afd7cbe2c	gen_idt.py
100755 blob a574587add0b88b59b66fdf8197f0ad0cacbbc51	gen_mmu_x86.py
040000 tree 75aad1df705395ab68aa8e3d241509055bb93768	include