I have tried to build the noux_bash run file using the sel4 , nova and linux kernel options and so far have not had any success.  Nova and sel4 both fail with:

[init -> drivers -> acpi_drv] Error: ROM-session creation failed (ram_quota=6144, cap_quota=3, label="platform_info")
[init -> drivers -> acpi_drv] Error: Could not open ROM session for "platform_info"
Warning: no io_mem support on Linux (args="base=0xe0000, size=0x20000, wc=no, diag=0, label="init -> drivers -> acpi_drv -> ", ram_quota=3827, cap_quota=2")
[init -> drivers -> acpi_drv] Segmentation fault (signum=11), see Linux kernel log for details

This looked similar to a problem I found here:

https://sourceforge.net/p/genode/mailman/message/35973788/

but changing the amount of ram in the suggested file did not help.  I also tried changing the amount of ram specified for noux in the run file with no change in behavior.

With the linux kernel I was told I am missing the genodelabs/pkg/drivers_interactive-linux archive but installing it fails with:

/home/omavuto/projects/genode-17.11/genode-17.11/depot/genodelabs/api/base-linux-2017-11-24/src/lib/syscall/linux_syscalls.h:383:27: error: ‘__sigword’ was not declared in this scope
    _value[__sigword(signum)] = __sigmask(signum);

It may be that this is related to another problem I found.  Earlier in the process I was told to install the base-linux archive with this command:

/home/omavuto/projects/genode-17.11/genode-17.11/tool/depot/download genodelabs/bin/x86_64/base-linux

but I get the error:

Error: failed to download 'https://depot.genode.org/genodelabs/src/base-linux.tgz'

it looks like that this archive does not exist.  I found a similarly named archive called base-linux-2017-11-27 which I was able to download.  I then simlinked the base-linux-2017-11-27 to baselinux in depot/genodelabs/src/.  That seemed to satisfy the requirement but perhaps the archive I used is somehow incompatible.

Any suggestions on getting this to start?  I am most interested in sel4 but suggestions for nova and linux are appreciated as well.  Thanks!