100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob 4f363b23ba8c1d3583dccbff10901d2c6d0ad528	Kconfig
040000 tree 113e126aafa72b9258f780358a5ceeff2897ba11	core
100755 blob 745c3ccd123abf543d23a3935d1e6a283b9e0ecc	gen_gdt.py
100755 blob c2e9e1f1fd766a4ff4731a74d8f4fa0f2eea7d51	gen_idt.py
100755 blob 6cf33a084e1c7a8cf183ee68283f52971882321a	gen_mmu.py
100644 blob 6f7182154562ab67a1634decfe90d84f8c869914	ia32.cmake
040000 tree 6dfd28ea36e9cc88d578073e4806412bdca9c4bb	include
100644 blob fcc075addc20da0760c773c3f3b59e51bcc56845	intel64.cmake
100644 blob e54f31bdce1e4645e88f0ff57d2253fcee801d1e	timing.c
040000 tree c122415567f577c49ca0c611df989f9163862d92	zefi