100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob 52ef70a0d13d014055328f55b88452fbb7907a5d	Kconfig
040000 tree c4b1207597f68ee85c63691ea01b1f74d36e3f78	core
100755 blob 5794a965a028687bb138138731aa15b2e47ed84a	gen_gdt.py
100755 blob 3ef957c952de6ed95b7229f201b0c1cd07206385	gen_idt.py
100755 blob e09e3208e7965d46df013c70db3a21ae8f5a5ece	gen_mmu.py
100644 blob 5bf5018a32a199ae50e7f4bedcb8307f8fa4ddfd	ia32.cmake
040000 tree ff4627de4aea9e2378a013235d55110b9d392b7d	include
100644 blob 04e9a256f36b6a094335bdeefbc183976c1129f6	intel64.cmake
100644 blob 2e979ebabe9f4cf5af09a7f9933670e1474cc9d1	timing.c
040000 tree d14c338ad8b9a73c31c829c5d3343a1f95be4bd2	zefi