Intel framebuffer driver

[Alexander Boettcher]

Hello,

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

https://github.com/nfeske/genode/blob/turmvilla/repos/os/src/drivers/platform/spec/x86/device_pd/main.cc

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

Cheers,

Alex.