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 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main