1 2 3 4 5 6 7
define KMACHINE intel-x86-64 define KTYPE tiny define KARCH x86 include ktypes/tiny/tiny.scc include bsp/intel-x86/intel-x86-64.scc