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. ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
