100644 blob 555f12431cce57bccca9c114051fd1831b2639cb	CMakeLists.txt
100644 blob aa2811e505efeab6f0d0f852309331b48b30da4a	Kconfig
040000 tree a27d124a924714b20962b3d007d2a6489dd621fc	core
100755 blob 70fe90adb41c7481987384999ec47ede2cd946ce	gen_gdt.py
100755 blob 8d8bab0270bab0e608f68abb8c77b4a8fed39e6c	gen_idt.py
100644 blob a14acdcc61b0a66a22bd165f2a7b7e45faf0cfe8	ia32.cmake
040000 tree 93beee319ed08cf81bb3d383c40e658b72807f3c	include
100644 blob 24062d27f4f15c03c555c8f12b1f8fb43aca7bad	intel64.cmake