unit
OSKit_Bootstrap


unit OSKit_Bootstrap = {
imports[
string : String_T
ld_symbols : LDSymbols_T
panic : Panic_T
cpu : CPU_T
gdt : GDT_T
stdout : Stdout_T
];
exports[
reset : Reset_T
stack : Stack_T
multiboot : { multiboot_main_wrapped
boot_info }
cmdline : CmdLine_T
vm : VM_T
segments : Segments_T
anno : Anno_T
phys_lmm : PhysLMM_T
lmm : LMM_T
usermode : { oskit_usermode_simulation }
delay : { pthread_delay }
];
...
}


Rendered using Haskell HTML Combinators