Hi, On 9/12/18 6:04 PM, Roman Iten wrote: >> I updated the quotas accordingly [1]. With the resolution limitation to >> 1920 still in place, the resource requests are gone and as far as I can >> tell everything looks reasonable - except the page fault [2]. > > I tried the same quotas without the resolution limitation on a device > with a FHD display. After booting Sculpt, I connected an external 4K > monitor. The moment I enable it with its native resolution, all screens > go black and intel_fb_drv logs the following error [1]: > > Error: cap reference counting error - one counter of cap range 49155+1 > has been already zero.
This is a warning and probably is caused by a double free of some structure containing a capability. You would have need to instrument the driver to catch the bug. Nevertheless, your actually issue is the resource_request for memory at the end of your log. Alex _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
