---
tags:
  - Ideas
Project:
  - ARCADE
---
## What are we doing:

Programming a controller in the KOs operating system. I don’t really know what this will look like, but presumably we can do something with the BeagleBone and KOs.

## Why are we doing this:

This will be the first embedded controller using a formally verified operating system.

## Notes about task: