fault-recovery
Research runtime for contract-driven recovery across Linux and RTOS execution domains on the Arduino UNO Q.