unit
Linux_Boot


unit Linux_Boot = {
imports[
ld_symbols : PlainLDSymbols_T
_exit : _Exit_T
];
exports[
progress : Progress_T
bios : { i16_bios_main }
start32 : { start32 }
exit32 : { exit32 }
];
...
}


Rendered using Haskell HTML Combinators