100644 blob 68eb21923552a298b67942f14be58d9b385053b9	CMakeLists.txt
100644 blob e38255f77a3117eac8f81a9a21925b84aa9387fe	Kconfig
040000 tree ef39dc69ce050c1b66be848d8de7f0cb2ff5288d	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 c161dbe9256ef8b628f0891351e5aa9d530a0196	include
100644 blob a2a9f73b88922cb75a302fd85be858f94da529f1	intel64.cmake
040000 tree 3435f441d91b303857d86056a835adbb52e07a96	zefi