First steps with Sculpt on Dell XPS 13

[Roman Iten]

Hi

> 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.

Any ideas where to look next?

Thanks, Roman


[1]
https://gist.github.com/rite/18e260e0f859c5fe05c1834f923c382e#file-intel_fb_drv-log-L31

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20180912/b8f99192/attachment.sig>