noux_bash failure

[Alexander Boettcher]

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 at ...555...:~/genode.git$ tool/create_builddir x86_64
(enable all required repositories in build/x86_64/etc/build.conf)

user at ...555...:~/genode.git$ KERNEL=nova make -C build/x86_64 run/noux_bash
or
user at ...555...:~/genode.git$ KERNEL=sel4 make -C build/x86_64 run/noux_bash

If you are running on a 64bit Linux machine, also

user at ...555...:~/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