Genode 19.08 demo on seL4/x86 build failing

[Christian Helmuth]

Hey Alex,

just a small note below.

On Sat, Sep 14, 2019 at 11:48:39 CEST, Alexander Boettcher wrote:
> On 13.09.19 23:31, Adam T. Winchester wrote:
> > [init -> drivers -> fb_drv] Error: H/W driver init failed
> > [init -> drivers -> fb_drv] Error: __cxa_guard_abort called
> > Kernel: Thread 'ep' died because of an uncaught exception
> > [init -> drivers -> fb_drv] Error: Uncaught exception of type
> > 'Framebuffer::Fatal'
> > [init -> drivers -> fb_drv] Warning: abort called - thread: ep
> > [init -> drivers] child "fb_drv" exited with exit value 1
> > [init -> drivers -> usb_drv] Could not read screen resolution in config
> > node
> 
> You may try the fb_boot_drv [0][1] instead of the vesa driver.

The board used [1] seems to be quite similar to the APU.2C4 used by
Sid Hussmann [3]. As I also own one of those I'm pretty sure they
completely lack a VGA device because the addressed application
scenario is mostly network equipment.

[1] https://www.apu-board.de/produkte/apu2d4.html
[2] https://lists.genode.org/pipermail/users/2019-September/006891.html

Greets
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth