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 again, I'm going to find a suitable PC for running the latest Sculpt and otherwise experimenting with Genode again. _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/JTVODF5CNOXXCSUA74GBHZZ3EY3ZIDFW/
