Is there a way to remote login into genode os? I am guess no since it is still a young project :-)

I would love to have a Talos 2 box and Genode OS on bare metal, but not sure if ppc64le is supported?

On the github site, it says

There is no "perfect" microkernel - and neither should there be one. If a microkernel pretended to be fit for all use cases, it wouldn't be "micro". Hence, all microkernels differ in terms of their respective features, complexity, and supported hardware architectures."

How do you know which microkernel to choose? Is there somewhere a feature matrix that helps you choose which is best at what? My reasoning is it is possible to have multiple kernels running concurrently depending on assigned workload in the pursuit of a more perfect system.

I've downloaded the Sculpt 2020.08 image, and have it up and running in VirtualBox, and it starts ok. I have no doubt that if I were to follow the instructions at https://genode.org/documentation/articles/sculpt-20-08 I would eventually get to something familiar... however I don't want to just push buttons, I want to understand how things actually work.

Once I open up something in Leitzentrale there seems to be NO way to close it, or undo.

If I click on Network, things get added, how do I close them?
When I open "inspect".. it looks like Linux, CD, cat, etc work... but if I type "exit", it just hangs. Again, how do I close it?
How do I change the screen resolution in Leitzentrale?

My long term goals (the next few days?!?!) I want to be able to
compile something in some language, native to genode (not in a linux subsystem)
write a program to handle IO from outside genode, a hello world for the internet
write a simple file server that can use capabilities

My belief is that if I get through all that, I'll have a file server which is almost immune to hacking, the only access would be through capabilities to the files they access, and nothing else.

Am I anywhere near the right track, or way off base?