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