Hello Genodians,

The last few days, I have been focused on creating my first Linux VM using 
Seoul. I am happy to report I was largely successful, but have a few questions 
after completing the exercise. The answers I get from this list have been very 
helpful in getting through the initial learning curve, so thank you in advance 
for your responses.

[1] While referencing the example Seoul runscripts in the genode-world 
repository, I did not see an obvious way to facilitate direct PCI passthrough 
to a VM. Is this supported by the current version of Seoul? If not, is it 
supported by the VirtualBox port?

[2] Is there a good way to support a situation where only one client needs to 
display and capture input. For example, in my VM scenario, I only care about 
the visual output of the VM. I was able to accomplish the desired graphical 
result by configuring a single nitpicker domain that had the entire screen area 
and no labels. The only issue here is that the single client does not 
immediately get input focus (I had to click to be able to type in the VM). Am I 
on the right track here, or is there a better way?

[3] What purpose does the platform driver (os/src/drivers/platform) serve? It 
appears that device discovery is done by either the ACPI driver or pci_decode 
(possibly others). Is it responsible for delegating access? I assume access to 
these is granted through an IO_MEM and/or IO_PORT session, but these seem to be 
provided by core (not the platform driver). Any clarification here would be 
helpful.

Once again, I appreciate your very helpful responses!

Thanks,
Zachary Zollers
_______________________________________________
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/CU7SRG2WHDWLME46HC45M2T4F2B57HD4/

Reply via email to