unit osenv_layer = {

imports[ string : String_T iids : { oskit_iunknown_iid oskit_isabus_iid oskit_isa_driver_iid oskit_driver_iid oskit_device_iid oskit_bus_iid oskit_timer_iid oskit_clock_iid oskit_mem_iid oskit_services_iid } panic : Panic_T stdout : Stdout_T raw_rtc : RTC_T base_irq : IRQ_T softint : SoftInt_T pic : PIC_T memobj : MemObj_T malloc : Malloc_T phys_lmm : PhysLMM_T vm : VM_T sprintf : Sprintf_T ]; exports[ clock : OSEnvClock_T driver : OSEnvDriver_T device : OSEnvDevice_T intr : OSEnvIntr_T ioport : OSEnvIOPort_T irq : OSEnvIRQ_T softirq : OSEnvSoftIRQ_T isa : OSEnvISA_T log : OSEnvLog_T mem : OSEnvMem_T panic2 : OSEnvPanic_T rtc : OSEnvRTC_T timer : OSEnvTimer_T pci : OSEnvPCI_T ]; ...

}