unit base_irq = {

imports[ anno : Anno_T idt : { base_idt } gate : { gate_init } pic : { pic_init } panic : Panic_T stdout : Stdout_T softint : SoftInt_T ]; exports[ irq : IRQ_T ]; ...

}