unit linux_boot = {

imports[ ld_symbols : PlainLDSymbols_T malloc : Malloc_T string : String_T panic : Panic_T stdout : Stdout_T vm : VM_T rtc : RTC_T phys_lmm : PhysLMM_T lmm : LMM_T bios : BIOS_T exec : Exec_T ]; exports[ out : Main_T ]; ...

}