100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob ed69fb15fbb480591a540f551d0f59e8cf3f6aeb	Kconfig
040000 tree e0cf84c642aed8c6aacd1ff74e02e7d54f54b0fa	core
100755 blob a58758358d36a78b46d1bec93e3a232d522ae346	gen_gdt.py
100755 blob 7e5932d0c1fa1c174fae49f77d990c1c697c597b	gen_idt.py
100755 blob 77d5ca1f915ca017b848840610eca748c55ae218	gen_mmu.py
100644 blob ee2c7a7f01e754534e699b888005219f54f555a7	ia32.cmake
040000 tree 064c57b7f3fff277a300e76f82eaf02e0bcd01c0	include
100644 blob fcc075addc20da0760c773c3f3b59e51bcc56845	intel64.cmake
100644 blob a7d5e07e274eba2f8988f7413baf26573cb972c6	timing.c
040000 tree 75502c51b552788f619d435f3fb2b7599cf242b7	zefi