Hi Ferreira,
On 22.09.2015 02:13, Roger Ferreira wrote:
Thanks, it worked.
nice !
The VGA configuration you describe has to be followed strictly. I tried Xorg without success.
Yes. You need to have Xfbdev.
Taking advantage, now that I have this setup working, I would like to improve it a bit. In the wm-cli, if possible, how could I:
- setup a minimal file system to share files among VMs
There is no support by the Seoul VMM to setup a shared filesystem between VM and host (Genode). (In contrast: Virtualbox has support by using the guest additions within the VM. This is supported already by our VBox port.) You would need for Seoul to setup some network file system between Seoul VM and Genode host - but that is not my familiar topic.
Emery, Josef, others : do you think some 9p based setup is imaginable respectively working already ? Better ideas ?
- shutdown / reboot the base system
Their is no support in Genode right now.
Cheers,
Alex.