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