noux_bash failure

[Alexander Boettcher]

Hi,

On 23.01.2018 22:37, genode user wrote:
> 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 -> 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 -> 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?

it seems to be a packaging problem of Genode/seL4. Re-building core
instead of using core from the package, as quick quirk, works for me on
x86_32:

--- a/repos/ports/run/noux_bash.run
+++ b/repos/ports/run/noux_bash.run
@@ -131,6 +131,7 @@ Hello world !!
        </start>
 </config>}

-build_boot_image { }
+build { core }
+build_boot_image { core }

 run_genode_until forever

-- 
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