Figure out how to get non-kernel binaries into the SOS ISO #127
Description
This can be hard-coded to the hello-world test elf for now, but eventually we'll want to generalise this for including userspace stuff in the OS distribution.
{{ message }}
This can be hard-coded to the hello-world test elf for now, but eventually we'll want to generalise this for including userspace stuff in the OS distribution.