15 lines
369 B
Markdown
Executable File
15 lines
369 B
Markdown
Executable File
---
|
||
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: |