unit
linux_ide


unit linux_ide = {
imports[
driver : OSEnvDriver_T
isa : OSEnvISA_T
log : OSEnvLog_T
timer : OSEnvTimer_T
osenv_sleep : OSEnvSleep_T
dev : LinuxDeviceSupport_T
string : String_T
iids : { oskit_blkdev_iid
oskit_blkio_iid
oskit_bus_iid
oskit_device_iid
oskit_driver_iid
oskit_idebus_iid
oskit_iunknown_iid }
];
exports[
triton : IDE_T
];
...
}


Rendered using Haskell HTML Combinators