100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob c947c0afc1b83d9844020f62d2d730aabb2e9d12	Kconfig
040000 tree c3d42e59689a2c6f38754d707e349f13fb1827f0	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 51c8057cb9bcf1956706a48b49e50d47042fcb97	include
100644 blob 04e9a256f36b6a094335bdeefbc183976c1129f6	intel64.cmake
100644 blob 2e979ebabe9f4cf5af09a7f9933670e1474cc9d1	timing.c
040000 tree d14c338ad8b9a73c31c829c5d3343a1f95be4bd2	zefi