|
|
|
|
|
|
by vertex-four
2191 days ago
|
|
|
Depending on what, exactly, you want to hack on, building components on top of seL4 could be a way to go. There's a large collection of libraries built on top of it, that you can replace as you feel like - https://docs.sel4.systems/projects/available-user-components... - and there's a few different options for communication between them (seL4's IPC, shared memory, etc). You could easily get a stripped-down interpreter or something running in that environment. |
|
|