define KMACHINE v1000

define KARCH x86_64

include ktypes/tiny/tiny.scc
define KTYPE standard/base
branch v1000

include v1000.scc