100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob efcfb367b85ffb4a53bc8fc2c30c4d5b507ef174	Kconfig
040000 tree c76d485a76f09e023c4c07a273c6c0183657f8aa	core
100755 blob 745c3ccd123abf543d23a3935d1e6a283b9e0ecc	gen_gdt.py
100755 blob c2e9e1f1fd766a4ff4731a74d8f4fa0f2eea7d51	gen_idt.py
100755 blob 74b46355a4e3c426f463577620e4532e6f752c58	gen_mmu.py
100644 blob ee2c7a7f01e754534e699b888005219f54f555a7	ia32.cmake
040000 tree 6dfd28ea36e9cc88d578073e4806412bdca9c4bb	include
100644 blob fcc075addc20da0760c773c3f3b59e51bcc56845	intel64.cmake
100644 blob e54f31bdce1e4645e88f0ff57d2253fcee801d1e	timing.c
040000 tree d6e884a093ee1f44c58eb605e4bead42b10a9918	zefi