package embox.arch.usermode86

module ipl extends embox.arch.interrupt {
	source "ipl.h"
	source "ipl.c"

	depends embox.kernel.critical
	depends embox.driver.interrupt.irqctrl_api
	depends embox.kernel.irq
}

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

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