VAIOS Guide

Tutorial-style walkthrough of the VAIOS real-time kernel — task model, scheduler, IPC, and timing.

This guide is being written. In the meantime, the corresponding chapter in the technical report covers the same material in reference form.