Interesting, I wonder why it chose that?
Given my actual hardware does not support video anyways (it only has a
serial port) I suppose it is irrelevant. However a useful tidbit in case
I switch platforms to one that has video.
Thanks for the help Alex! I'm off to start writing a little app
I attempted your fix to change the driver, with no change in results.
Again, I think has to do with that the hardware only has a serial port
(no video output). Being a limit of the hardware I am not too worried,
its something I expected I would run into and have to work around either
way. Also
On 16.09.19 20:40, Alexander Boettcher wrote:
> As said, if Qemu manages to switch on the graphic mode you are fine.
sorry, Qemu -> Grub2
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
On 16.09.19 20:25, Adam T. Wiethuechter wrote:
> Interestingly adding your other changes (to switch to the fb_boot_drv)
> causes QEMU to at least get to outputting "Booting Genode on seL4" only
> to stop there. This is the output of that particular run if interested.
>
> ```
> spawn
Alex,
I applied the changes you suggested here and got the demo to boot in
QEMU just as you had. It's super slow and laggy thanks to my machine but
it does seem to work.
Interestingly adding your other changes (to switch to the fb_boot_drv)
causes QEMU to at least get to outputting "Booting
