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