toki: A Build- and Test-Platform for Prototyping and Evaluating Operating System Concepts in Real-Time Environments