unit
linux_ether_support


unit linux_ether_support = {
imports[
dev : LinuxDeviceSupport_T
driver : OSEnvDriver_T
device : OSEnvDevice_T
isa : OSEnvISA_T
log : OSEnvLog_T
timer : OSEnvTimer_T
osenv_sleep : OSEnvSleep_T
panic : OSEnvPanic_T
iids : { oskit_bufio_iid
oskit_device_iid
oskit_etherdev_iid
oskit_iunknown_iid
oskit_netdev_iid
oskit_netio_iid
oskit_skbufio_iid }
string : String_T
];
exports[
out : LinuxEtherSupport_T
d : { drivers }
];
...
}


Rendered using Haskell HTML Combinators