100644 blob 2db084a1ad4241c5305e62a7ea9d59b3b4802be4	CMakeLists.txt
100644 blob 84639a0929ec968ec316938abec50754decae90c	Kconfig
040000 tree c51a595bb9c628702c4786dc3db7409306a0dd5e	core
100755 blob da95e4204af5f8f4c52556910f0a19eaa67168fa	gen_gdt.py
100755 blob 19d0cc1b2971a9c87c9dada3a387aa8afd7cbe2c	gen_idt.py
100644 blob 1a76fcec46e11bab1a7253a1a9743fdcbd38b2ca	ia32.cmake
040000 tree 82b6c9b4d6b7018a183870291e1c95f707415b81	include
100644 blob e22dae63d8fa157b0287b84fbea23774a761d8ee	x64.cmake