100644 blob 3b1ecb492d46cbd76566e11f486b6005762af7e3	CMakeLists.txt
100644 blob 587523d076bfc71cdb8d433f49c541e42a41b4e9	Kconfig
040000 tree cb1f7ca71248bf505e42a496e0d90243079a07db	core
100755 blob da95e4204af5f8f4c52556910f0a19eaa67168fa	gen_gdt.py
100755 blob 19d0cc1b2971a9c87c9dada3a387aa8afd7cbe2c	gen_idt.py
100755 blob a574587add0b88b59b66fdf8197f0ad0cacbbc51	gen_mmu_x86.py
040000 tree 7830de0dd9f590fca37456623e30608df3d256a4	include