Genode 19.08 demo on seL4/x86 build failing

[Alexander Boettcher]

Hello,

On 13.09.19 19:59, Adam T. Wiethuechter wrote:
> It's been a long while since I have messed with Genode and a lot (of
> really good things) have happened since. I can't wait to get more into
> the system again (and finally play with Sculpt).

welcome back.

> Note that I updated "etc/build.conf" so that 'KERNEL=sel4',
> 'BOARD=linux', parallel build is enabled and added 'RUN_OPT += --include
> image/iso'

the BOARD variable is meant to describe the target, which is in your
case a native PC - so 'BOARD=pc' should help here.

Cheers,

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

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