Hey again,
Sorry for the single word titles. I don't have Genode installed at the moment, but I'm curious about some minor things happening in the Genode space.
From what I've seen it doesn't really have a proper command line shell that can
administer the system interactively. Is this the case, how would one handle doing tasks like managing daemons, file systems, launching applications in a system tree? For instance in the future, if I wanted to use a web browser over Tor I'd somehow have to launch a Tor network service and then have a web browser use that network service. How would I accomplish that?
In future I'd imagine having a system configuration file specifying a tree like this for my machine showing services, applications, file systems that are available to services, GUI launchers, etc to build up a compartmentalized system.
How hard would it get Fiasco.OC to run a rich GNU/Linux system through trustzone? I've heard it's possible, but I'm not sure how it'd work in Genode. I'd really like to have something like to run slow virtual L4Linux systems for 'secure' applications and an untrusted rich system elsewhere. Though perhaps this is a bad idea, and if it's not doable base-hw will have to do.
Cheers, Jookia.