package embox.arch.riscv.kernel

module cpu extends embox.arch.cpu {
	option number cpu_count
	source "cpu_get_id.c"

}

module smp extends embox.arch.smp {
	source "ap_trampoline.S", "smp.c", "ap_timer_handler.c"

	option boolean independent_clock = true

	depends cpu
	depends ipi

	depends embox.driver.interrupt.riscv_plic
	depends embox.driver.interrupt.riscv_clint
	depends embox.kernel.thread.core
	@NoRuntime depends embox.kernel.sched.affinity.smp
	depends embox.driver.periph_memory
}
