package embox.arch.generic

module interrupt_stub extends embox.arch.interrupt {
	source "interrupt_stub.h"
}

module syscall_stub extends embox.arch.syscall {
	source "syscall_stub.h"
}

module nommu extends embox.mem.vmem_nommu {
	option number page_size=4
	source "nommu.h"
}

module nousermode extends embox.arch.usermode {
	source "nousermode.h"
}

module nosmp extends embox.arch.smp {
	option boolean independent_clock = false
	source "nosmp.h"
}

module nocontext extends embox.arch.context {
	source "nocontext.c","nocontext.h"
}

module onecpu extends embox.arch.cpu {
	option number cpu_count = 1
	source "onecpu.h"
}

module cache_stub extends embox.arch.cache {
	source "cache_stub.c"
}

module cpu_idle_stub extends embox.arch.cpu_idle {
	source "cpu_idle_stub.h"
}

module no_libarch extends embox.arch.libarch { }

module reg_stub extends embox.arch.reg { }
