unit linux_devices = {

imports[ osenv_driver : OSEnvDriver_T osenv_device : OSEnvDevice_T intr : OSEnvIntr_T ioport : OSEnvIOPort_T irq : OSEnvIRQ_T softirq : OSEnvSoftIRQ_T isa : OSEnvISA_T log : OSEnvLog_T osenv_mem : OSEnvMem_T osenv_panic : OSEnvPanic_T osenv_sleep : OSEnvSleep_T timer : OSEnvTimer_T pci : OSEnvPCI_T cpu : CPU_T string : String_T iids : { oskit_bufio_iid oskit_device_iid oskit_etherdev_iid oskit_iunknown_iid oskit_netdev_iid oskit_netio_iid oskit_driver_iid oskit_isa_driver_iid oskit_bus_iid oskit_blkio_iid oskit_idebus_iid oskit_blkdev_iid oskit_skbufio_iid } ]; exports[ dev : LinuxDeviceSupport_T eth : LinuxEtherSupport_T ide : IDE_T drivers : { drivers } ]; ...

}