unit
netboot_reset


unit netboot_reset = {
imports[
cpu : { base_cpu_load }
gdt : { base_gdt_init }
segments : Segments_T
raw_reset : Reset_T
vm : VM_T
cmdline : CmdLine_T
string : String_T
];
exports[
reset : Reset_T
];
...
}


Rendered using Haskell HTML Combinators