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/platfor...
There is a STACK_SIZE enum which you may increase to 8K.
Cheers,
Alex.