A time-composable operating system for the Patmos processor