noux_bash failure

[genode u. <gen...@gm...>]

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!