service lab7 { system DEVIO IRQCTL IOPENABLE ; ipc SYSTEM rs vm pm vfs ; io 40:4 60 61 64 70:2 3f8:8 ; irq 0 # TIMER 0 IRQ 1 # KBD IRQ 4 # COM1 8 # RTC_IRQ 12 # AUX IRQ ; uid 0 ; };