unit OSEnv = {

imports[ base_irq : { base_irq_default_handler base_irq_handlers } vm : VM_T pic : PIC_T rtc2 : RTC_T services2 : Services_T malloc : Malloc_T panic2 : Panic_T sprintf : Sprintf_T string : String_T stdout : Stdout_T iids : { oskit_bus_iid oskit_device_iid oskit_driver_iid oskit_isa_driver_iid oskit_isabus_iid oskit_iunknown_iid oskit_mem_iid oskit_osenv_device_iid oskit_osenv_driver_iid oskit_osenv_intr_iid oskit_osenv_ioport_iid oskit_osenv_irq_iid oskit_osenv_isa_iid oskit_osenv_log_iid oskit_osenv_mem_iid oskit_osenv_pci_config_iid oskit_osenv_rtc_iid oskit_osenv_sleep_iid oskit_osenv_timer_iid oskit_sleep_iid } phys_lmm : PhysLMM_T memobj : MemObj_T ]; exports[ device : OSEnvDevice_T driver : OSEnvDriver_T dump : OSEnvDump_T intr : OSEnvIntr_T ioport : OSEnvIOPort_T irq : OSEnvIRQ_T isa : OSEnvISA_T log : OSEnvLog_T panic : OSEnvPanic_T mem : OSEnvMem_T pci : OSEnvPCI_T rtc : OSEnvRTC_T sleep : OSEnvSleep_T timer : OSEnvTimer_T ]; ...

}