package embox.test.kernel

@TestFor(embox.kernel.irq)
module irq_test {
	option number irq_nr = 10
	option number outer_irq_nr = 10
	option number inner_irq_nr = 11
	option boolean forced_irq_clear = false

	source "irq_test.c"

	depends embox.kernel.irq
	depends embox.framework.test
}

@TestFor(embox.kernel.timer.strategy.api)
module timer_test {
	source "timer_test.c"

	depends embox.kernel.timer.strategy.api
}

@TestFor(embox.kernel.timer.strategy.api)
module periodic_timer_test {
	source "periodic_timer_test.c"

	depends embox.kernel.timer.strategy.api
}

@TestFor(embox.kernel.timer.strategy.api)
module oneshot_timer_test {
	source "oneshot_timer_test.c"

	depends embox.kernel.timer.strategy.api
}

//@TestFor(embox.kernel.syscall)
module syscall_test {
	source "syscall_test.c"

	depends embox.arch.syscall_caller
}

module usermode_test {
	source "usermode_test.c"

	depends embox.arch.syscall_caller
}

module spinlock_test {
	source "spinlock_test.c"
}
