100644 blob 9f46f9d149e1b98ed7dc9376391cc72434b72438	CMakeLists.txt
100644 blob 7f852742fb88a2a1c0991426d23d483bba6c7a28	Kconfig
040000 tree d4abf2dc635feb3d46128be2cd50bcb29d41109d	core
100755 blob 8bb99e9cfa95eedcf933eddbbffafca10149e895	gen_gdt.py
100755 blob 3ef957c952de6ed95b7229f201b0c1cd07206385	gen_idt.py
100755 blob e09e3208e7965d46df013c70db3a21ae8f5a5ece	gen_mmu.py
100644 blob ee2c7a7f01e754534e699b888005219f54f555a7	ia32.cmake
040000 tree dee41053b7b208613fd889093c1cce78d08e4b2b	include
100644 blob fcc075addc20da0760c773c3f3b59e51bcc56845	intel64.cmake
100644 blob 2e979ebabe9f4cf5af09a7f9933670e1474cc9d1	timing.c
040000 tree fd14a584c4fb776c9c1ec6383a7642fc9c312c6c	zefi