100644 blob 3b1ecb492d46cbd76566e11f486b6005762af7e3	CMakeLists.txt
100644 blob 587523d076bfc71cdb8d433f49c541e42a41b4e9	Kconfig
040000 tree ee5104eb8ff5a19a2d42dc59fff2539f840c9479	core
100755 blob da95e4204af5f8f4c52556910f0a19eaa67168fa	gen_gdt.py
100755 blob 19d0cc1b2971a9c87c9dada3a387aa8afd7cbe2c	gen_idt.py
100755 blob a574587add0b88b59b66fdf8197f0ad0cacbbc51	gen_mmu_x86.py
040000 tree 2b665d126150c63c4bda5d32a5ea1e10d4a7cc47	include