First steps with Sculpt on Dell XPS 13

Alexander Boettcher alexander.boettcher at genode-labs.com
Thu Sep 13 09:03:02 CEST 2018


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



More information about the users mailing list