100644 blob 5d70317b672efc4e7bb8a75176d1c52a29d919ff	CMakeLists.txt
100644 blob e38255f77a3117eac8f81a9a21925b84aa9387fe	Kconfig
040000 tree 398eb2d3d8a9e21b638815753cce7010684cc3d3	core
100755 blob 32124156de6ec8a31bf0861f4787b75436d3762f	gen_gdt.py
100755 blob c2e9e1f1fd766a4ff4731a74d8f4fa0f2eea7d51	gen_idt.py
100755 blob e54817083f1a80f112719a51209a0c5c9b551e9f	gen_mmu.py
100644 blob 1f8134b872b4dfe424947287582a9767ff78fb9f	ia32.cmake
040000 tree bdda27d394ecdf3ca5f6e3f75b4684918fcba6e0	include
100644 blob a2a9f73b88922cb75a302fd85be858f94da529f1	intel64.cmake
100644 blob 42051a6466a2fd4b72bac347032d0d9caf659f27	timing.c
040000 tree 3435f441d91b303857d86056a835adbb52e07a96	zefi