unit
multiboot_physlmm


unit multiboot_physlmm = {
imports[
multiboot : { boot_info }
ld_symbols : { _start_of_kernel
end }
lmm : LMM_T
vm : VM_T
];
exports[
out : PhysLMM_T
];
...
}


Rendered using Haskell HTML Combinators