Intel framebuffer driver

Alexander Boettcher alexander.boettcher at ...1...
Fri Nov 27 11:15:54 CET 2015


On 26.11.2015 20:34, Harm de Vries wrote:
> I am unable to run the Turmvilla setup with the Intel framebuffer driver.
> Given below is the log output. Note that this computer has the following
> configuration:
> 00:00.0 Host bridge: Intel Corporation 4th Gen Core Processor DRAM
> Controller (rev 06)
> 00:02.0 VGA compatible controller: Intel Corporation Xeon E3-1200 v3/4th
> Gen Core Processor Integrated Graphics Controller (rev 06)
> Does anyone know how to get the setup running?

> Quota exceeded! amount=61440, size=4096, consumed=61440
> static void Genode::Pager_object::_page_fault_handler(Genode::addr_t): page
> fault, thread 'device_pd_ep', cpu 0, ip=1034bfe, fault address=0xa01fdfe0

Maybe not the only - but a simple issue - is telling the fault address
of the line above. Looks like the stack (on base-nova typically between
[0xa0000000-0xb0000000) ) is too small for the entrypoint thread in the
device_pd component. This is already adjusted/fixed for the upcoming
release. You may try to increase the stacksize by editing

There is a STACK_SIZE enum which you may increase to 8K.



More information about the users mailing list