Operating system (scheduler, memory, pipes, stdio) for MIPS-based Decstation Ultrix