100644 blob c948b5f48b5145cfe8421e8eb71b27e15e139419	CMakeLists.txt
100644 blob 587523d076bfc71cdb8d433f49c541e42a41b4e9	Kconfig
040000 tree d3075461ad7ba7084fcd026d225940c326a0c09c	core
100755 blob da95e4204af5f8f4c52556910f0a19eaa67168fa	gen_gdt.py
100755 blob 19d0cc1b2971a9c87c9dada3a387aa8afd7cbe2c	gen_idt.py
100755 blob 93a01f5033466c8869b10d7b1fc64b1d9e547530	gen_mmu_x86.py
040000 tree 8d6eafa25eb9f3387e5eecfe18bba93dc8e1a81b	include