100644 blob 5d70317b672efc4e7bb8a75176d1c52a29d919ff	CMakeLists.txt
100644 blob 068361e58dec9803e571c56fd9f57abf7b14c873	Kconfig
040000 tree 81bc759363c75fc1af63e443aa7e21ff0daeb042	core
100755 blob 3465499b5f55b536ca261be43637e5d82f68940a	gen_gdt.py
100755 blob c2e9e1f1fd766a4ff4731a74d8f4fa0f2eea7d51	gen_idt.py
100755 blob 22e7e738be8b91b055512289fea68ccfedb7bb15	gen_mmu.py
100644 blob 1f8134b872b4dfe424947287582a9767ff78fb9f	ia32.cmake
040000 tree ae70f61053b6d233d2c6c627f08a697a357ebf55	include
100644 blob a2a9f73b88922cb75a302fd85be858f94da529f1	intel64.cmake
100644 blob 5351a53de15bdbafdac2fbdc7ff323456e96ecb3	timing.c
040000 tree f766e672236a8f6351b24912495fa835b3c606f4	zefi