Thanks for the quick response Christian!
This is actually good news to me. My system wasn't incorrectly configured after
all. Deploying Genode on Linux will still be useful to me for testing purposes
when I'm making my own small custom run scripts.
Now that I'm familiar with the build process a
Hi there Genodians. It has been many years since I've built and experimented
with Genode, and now seems like a perfect time to get back into the picture.
Right now, I want to prototype and experiment with running Sculpt OS directly
on my current Debian 12 installation, in an Ubuntu 22.04 LTS pod