Hello Chris, On 21.03.2018 17:00, Chris Rothrock wrote: > Previously, the demo build of Genode with seL4 worked perfectly fine but > it seems with the newer port of seL4, this is no longer working. If I > use KERNEL=nova, the build runs fine, both through QEMU and booting the > hardware with the build but with KERNEL=sel4, here is the output m(via > hardware boot). Is this a known issue?
thank you for reporting. We haven't noticed this problem so far. > [init -> nitpicker_config] resource_request: ram_quota=5239 > [init] child "nitpicker_config" requests resources: ram_quota=5239 ... > [init -> ps2_drv] resource_request: ram_quota=20480 > [init] child "ps2_drv" requests resources: ram_quota=20480 Those components are apparently starved for memory. Could you try increasing the RAM quota of them? Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://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
