369 B
Executable File
369 B
Executable File
| tags | Project | ||
|---|---|---|---|
|
|
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.