100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob efcfb367b85ffb4a53bc8fc2c30c4d5b507ef174	Kconfig
040000 tree 504167b5a4349e4766d45d8e05be5f8ec3a33243	core
100755 blob aa857d469bc03ed83455259c2acd44a1ffb24978	gen_gdt.py
100755 blob 7e5932d0c1fa1c174fae49f77d990c1c697c597b	gen_idt.py
100755 blob 36783049faccd8032b3f91a13cdb17addf837dd6	gen_mmu.py
100644 blob ee2c7a7f01e754534e699b888005219f54f555a7	ia32.cmake
040000 tree 79f9c13d2846f0bb44f145db961bd1a81bf9e080	include
100644 blob fcc075addc20da0760c773c3f3b59e51bcc56845	intel64.cmake
100644 blob e54f31bdce1e4645e88f0ff57d2253fcee801d1e	timing.c
040000 tree d6e884a093ee1f44c58eb605e4bead42b10a9918	zefi