Re: running Virtualbox on Genode

2015-09-23 Thread Alexander Boettcher
Hi Vincent, On 23.09.2015 04:41, Vincent Digital wrote: > I understand without serial port hardware, it is near to impossible to > troubleshoot. Yes. > Btw, is it necessary to stick to 32-bit versions of the Guest OSs ? Yes. We don't support 64bit guests currently. > I notice the vbox_auto_win

Re: exploring Mesa in Genode

2015-09-23 Thread Norman Feske
Hi Jamey, >> Btw, in the meantime, I have started to work on porting the Intel KMS >> driver from Linux 3.14.5 to Genode. The code in Linux' drm/i915/ changed >> substantially since my original GPU experiments. So I am building a >> fresh driver environment for the new version rather than attempti