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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
