100644 blob 5d70317b672efc4e7bb8a75176d1c52a29d919ff	CMakeLists.txt
100644 blob 96619ce8bc25d49222ba16f2b1d665d76cb7fd05	Kconfig
040000 tree 887f33bf8d4268c0ec36e21b4641b023fd2bb556	core
100755 blob 3465499b5f55b536ca261be43637e5d82f68940a	gen_gdt.py
100755 blob c2e9e1f1fd766a4ff4731a74d8f4fa0f2eea7d51	gen_idt.py
100755 blob abca389189acd05e2a3b5184953821f110410be4	gen_mmu.py
100644 blob 1f8134b872b4dfe424947287582a9767ff78fb9f	ia32.cmake
040000 tree ae70f61053b6d233d2c6c627f08a697a357ebf55	include
100644 blob a2a9f73b88922cb75a302fd85be858f94da529f1	intel64.cmake
100644 blob 5351a53de15bdbafdac2fbdc7ff323456e96ecb3	timing.c
040000 tree 736d4156821ee67c0194c4b9d6acfd14fef1cd48	zefi