|
|
|
|
|
|
by moosingin3space
3543 days ago
|
|
|
seL4 looks like a great base to build secure embedded systems on. There's an interesting project called robigalia that aims to make it possible to build seL4 userspace threads in Rust, which should be an excellent base to build on. |
|
|