100644 blob 555f12431cce57bccca9c114051fd1831b2639cb	CMakeLists.txt
100644 blob d2d3f33d57f55a8d3cb42ff96633348e62b0f8d9	Kconfig
040000 tree beb7293016d27a6fdd3de62d1590ec3445c9fcb6	core
100755 blob 70fe90adb41c7481987384999ec47ede2cd946ce	gen_gdt.py
100755 blob 8d8bab0270bab0e608f68abb8c77b4a8fed39e6c	gen_idt.py
100644 blob a14acdcc61b0a66a22bd165f2a7b7e45faf0cfe8	ia32.cmake
040000 tree ca10a4af5812de3aa946bc27862ab6b74a9f2a46	include
100644 blob 24062d27f4f15c03c555c8f12b1f8fb43aca7bad	intel64.cmake