100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob 487d6e94bd9617db939d30c90717f50058b147a9	Kconfig
040000 tree 19af066ab4d41613a5d7b6b8ff67f8eda0fc60d1	core
100755 blob 5794a965a028687bb138138731aa15b2e47ed84a	gen_gdt.py
100755 blob 3ef957c952de6ed95b7229f201b0c1cd07206385	gen_idt.py
100755 blob e09e3208e7965d46df013c70db3a21ae8f5a5ece	gen_mmu.py
100644 blob ee2c7a7f01e754534e699b888005219f54f555a7	ia32.cmake
040000 tree dda9534d4aa70cad420bfe5492f9e2f6830f5131	include
100644 blob fcc075addc20da0760c773c3f3b59e51bcc56845	intel64.cmake
100644 blob 2e979ebabe9f4cf5af09a7f9933670e1474cc9d1	timing.c
040000 tree a13793a756e2f739f69d547a9223f3351a3a1cbc	zefi