noux_bash failure

[genode user]

Thank you for your reply!  I found an error in my build.conf so the kernel
option I chose was not being used.  I am now able to get noux_bash to run
on nova and the terminal in the qemu VM works as expected.

I still cannot get sel4 to work properly.  The qemu VM opens up and says
"Booting Genode on seL4" but gets no further.  On the terminal on the host
I see this:

[init] child "noux"
[init]   RAM quota:  204648K
[init]   cap quota:  968
[init]   ELF binary: noux
[init]   priority:   0
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x4
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x8
[init -> noux] tar archive 'coreutils.tar' local at 0x11c000, size is
8560640
[init -> terminal] cell size is 6x14
[init -> timer] Error: IO_PORT-session creation failed (ram_quota=6K,
cap_quota=2, io_port_base=64, io_port_size=4)
[init -> timer] Error: __cxa_guard_abort called
Kernel: Thread 'ep' died because of an uncaught exception
[init -> timer] Error: Uncaught exception of type 'Genode::Service_denied'
[init -> timer] Warning: abort called - thread: ep
[init -> noux] tar archive 'vim.tar' local at 0xb000000, size is 19968000
[init] child "timer" exited with exit value 1
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x10
[init] child "ram_fs" announces service "File_system"
[init -> noux] tar archive 'bash.tar' local at 0x980000, size is 3555328
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x20
[init -> drivers] child "report_rom" announces service "Report"
[init -> drivers] child "report_rom" announces service "ROM"
[init -> drivers -> acpi_drv] Found MADT
[init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> drivers -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13
[init -> drivers -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> drivers -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13
[init -> drivers -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13
[init -> drivers -> platform_drv] Error: IO_PORT-session creation failed
(ram_quota=6K, cap_quota=2, io_port_base=3320, io_port_size=4)
[init -> drivers -> platform_drv] Error: __cxa_guard_abort called
Kernel: Thread 'ep' died because of an uncaught exception
[init -> drivers -> platform_drv] Error: Uncaught exception of type
'Genode::Service_denied'
[init -> drivers -> platform_drv] Warning: abort called - thread: ep
[init -> drivers] child "platform_drv" exited with exit value 1

Any suggestions?

On Tue, Jan 23, 2018 at 5:05 AM, Alexander Boettcher <
alexander.boettcher at ...1...> wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180123/ee445399/attachment.html>