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 {
	source "nosmp.h"
}

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

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 mem_barriers_stub extends embox.arch.mem_barriers {
	source "mem_barriers_stub.h"
}

module no_libarch extends embox.arch.libarch {
}

module reg_stub extends embox.arch.reg {
}
