The OS5 (OCR) – Processor scheduling