Genode 19.08 demo on seL4/x86 build failing

[Alexander Boettcher]

On 13.09.19 22:53, Adam T. Wiethuechter wrote:
> [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0x1
> [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0xc
> [init -> drivers -> fb_drv] Found PCI VGA at 00:01.0
> [init -> drivers -> fb_drv] fb mapped to 0x6000
> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> not implemented - resources leaked: 0x80
> [init -> drivers] child "input_filter" requests resources: ram_quota=20480

I can reproduce at least this message. After increasing the ram quota
[0] and rebuilding the respective package [1] it boots up into the GUI.
Can you please re-try ?

In case you run your Linux in a VM and get strange mouse events with
qemu, please consider the countermeasures in [3].

[0]
https://github.com/alex-ab/genode/commit/64e51cb93783561785e83eec7dcd5f617f097144
[1] tool/depot/create genodelabs/pkg/x86_64/drivers_interactive-pc
CROSS_DEV_PREFIX=/usr/local/genode/tool/19.05/bin/genode-x86- -j4
UPDATE_VERSIONS=1 FORCE=1
[3] https://lists.genode.org/pipermail/users/2017-March/005074.html

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth