Hello, On 21.01.2018 18:44, genode user wrote: > I have tried to build the noux_bash run file using the sel4 , nova and
noux_bash.run will not run on Genode/Linux. > linux kernel options and so far have not had any success. Nova and sel4 > both fail with: > [init -> drivers -> acpi_drv] Segmentation fault (signum=11), see Linux > kernel log for details The message above give the hint that you are executing Genode/Linux - and not Genode/NOVA nor Genode/seL4. Please setup your build directory correctly for the Microkernels. You may specify on the command line the kernel you would like to have on each run, e.g. : user@muster:~/genode.git$ tool/create_builddir x86_64 (enable all required repositories in build/x86_64/etc/build.conf) user@muster:~/genode.git$ KERNEL=nova make -C build/x86_64 run/noux_bash or user@muster:~/genode.git$ KERNEL=sel4 make -C build/x86_64 run/noux_bash If you are running on a 64bit Linux machine, also user@muster:~/genode.git$ KERNEL=linux make -C build/x86_64 run/log will work. (If you're running on a 32bit Linux, you would need a x86_32 build directory created by tool/create_builddir x86_32). Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
