Observed a problem testing lwip under seL4 (run/lwip). This succeeds with kernels okl4, foc, and nova, but under seL4 there are complaints from acpi_drv (see below). The "Error: I/O memory [1ffe1000,1ffe2000) not available" seems most concerning.
Build architecture is x86_32, relying on drivers dde_ipxe, testing in qemu on Xenial. Theories / workarounds (seL4)? // Steve > [init -> nic_drv] --- iPXE NIC driver started --- > [init -> nic_drv] -- init iPXE NIC > [init -> acpi_drv] Error: ROM-session creation failed (ram_quota=6144, > cap_quota=3, label="platform_info") > [init -> acpi_drv] Error: Could not open ROM session for "platform_info" > [init] child "timer" announces service "Timer" > [init] child "acpi_report_rom" announces service "Report" > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not > implemented - resources leaked: 0x10 > [init] child "acpi_report_rom" announces service "ROM" > Error: I/O memory [1ffe1000,1ffe2000) not available > Error: Local MMIO mapping failed! > [init -> acpi_drv] Error: IO_MEM-session creation failed (cap_quota=3, > ram_quota=6K, base=0x1ffe1000, size=0x1000, wc=no) > [init -> acpi_drv] Warning: 1 dangling allocation at allocator destruction > time > Warning: unmapping of managed dataspaces not yet supported > [init -> acpi_drv] Error: Unknown exception occured - failure > [init -> acpi_drv] Error: __cxa_guard_abort called > Kernel: Thread 'ep' died because of an uncaught exception > [init -> acpi_drv] Error: Uncaught exception of type 'Genode::Service_denied' > [init -> acpi_drv] Warning: abort called - thread: ep > [init] child "acpi_drv" exited with exit value 1 > Error: Test execution timed out > Makefile:309: recipe for target 'run/lwip' failed ------------------------------------------------------------------------------ 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
