unit linux_dev = {

imports[ log : OSEnvLog_T osenv_sleep : OSEnvSleep_T isa : OSEnvISA_T intr : OSEnvIntr_T irq : OSEnvIRQ_T softirq : OSEnvSoftIRQ_T pci : OSEnvPCI_T mem : OSEnvMem_T driver : OSEnvDriver_T ioport : OSEnvIOPort_T timer : OSEnvTimer_T panic : OSEnvPanic_T cpu : CPU_T iids : { oskit_driver_iid oskit_isa_driver_iid oskit_iunknown_iid } string : String_T ]; exports[ dev : LinuxDeviceSupport_T ]; ...

}