100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob 9a3412ba0428e76ec93b451f7fcaa0e44253d147	Kconfig
040000 tree 7ca069fea8662774c3d5873481bf05e9c65e54c1	core
100755 blob 5794a965a028687bb138138731aa15b2e47ed84a	gen_gdt.py
100755 blob 3ef957c952de6ed95b7229f201b0c1cd07206385	gen_idt.py
100755 blob e09e3208e7965d46df013c70db3a21ae8f5a5ece	gen_mmu.py
100644 blob 90546924af141708a5f508a58a9de863b833f270	ia32.cmake
040000 tree c135f00921004d5be281f35a03d3973cbdcb94e0	include
100644 blob 04e9a256f36b6a094335bdeefbc183976c1129f6	intel64.cmake
100644 blob 2e979ebabe9f4cf5af09a7f9933670e1474cc9d1	timing.c
040000 tree d14c338ad8b9a73c31c829c5d3343a1f95be4bd2	zefi