1 2 3 4 5 6 7 8
define KMACHINE amdfalconx86 define KTYPE tiny define KARCH x86_64 include ktypes/tiny/tiny.scc branch amdfalconx86 include amdfalconx86.scc