Hubris – A small operating system for deeply-embedded computer systems