unit pxe_boot = {

imports[ pxe_crt : PXECRT_T bios : BIOS_T lmm : LMM_T exec : Exec_T string : String_T phys_lmm : PhysLMM_T vm : VM_T panic : Panic_T net : Net_T stdout : Stdout_T reset : Reset_T stack_trace : StackTrace_T ]; exports[ out : Main_T ]; ...

}