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