Hello all,
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?
Kind regards,
Harm
[init -> platform_drv] platform driver started [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'timer' func: 10169d0 arg: 0 prio: 2 t: 10f9638 [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'linux' func: 1016000 arg: 1127900 prio: 0 t: 10f9230 [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found MCFG [init -> acpi_drv] MCFG BASE 0xf8000000 seg 00 bus 00-3f [init -> platform_drv -> device_pd] Device protection domain starting ... [init -> platform_drv -> device_pd] Device protection domain started [init -> intel_fb_drv] Scheduler::Logger is up [init -> intel_fb_drv] --- intel framebuffer driver --- [init -> intel_fb_drv] void run_linux(void*): postcore_i915_init [init -> intel_fb_drv] INFO: i2c-core: driver [dummy] registered [init -> intel_fb_drv] void run_linux(void*): module_i915_init [init -> intel_fb_drv] int drm_pci_init(drm_driver*, pci_driver*): call pci_register_driver [init -> platform_drv] Quota exceeded! amount=8192, size=4096, consumed=8192 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): this=111c998 base: f7800000 size: 400000 type: 1 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): I/O memory [f7800000-f7c00000) [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): this=111c998 base: e0000000 size: 10000000 type: 1 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): I/O memory [e0000000-f0000000) [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): this=111c998 base: f000 size: 40 type: 0 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): I/O [61440-61504) [ 0] sys_assign_pci: Invalid Hint (0x0) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::insert(Lx::Pci_dev*): insert pci_dev 111c998 [ 0] sys_assign_pci: Invalid Hint (0x0) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::insert(Lx::Pci_dev*): insert pci_dev 111d830 [init -> intel_fb_drv] ioremap: mapped phys 0xf7800000 (size 400000) to virt 0x400000 [init -> platform_drv] Device 00:00.0 is used by more than one driver - session 'intel_fb_drv'. [init -> platform_drv] Quota exceeded! amount=12288, size=4096, consumed=12288 [init -> platform_drv] Device 00:02.0 is used by more than one driver - session 'intel_fb_drv'. [ 0] sys_assign_pci: Invalid Hint (0x0) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> intel_fb_drv] ioremap: return sub range phys 0xf7a00000 (size 200000) to virt 0x600000 [init -> intel_fb_drv] dma_addr_t page_to_phys(void*): virt=0x6000 -> phys=0xffffffffffffffff [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'work_queue' func: 10033d0 arg: 10f7000 prio: 2 t: 10f7000 [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus ssc] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus vga] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus panel] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus dpc] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus dpb] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus dpd] registered [init -> platform_drv] 0:2.0 adjust IRQ as reported by ACPI: 11 -> 16 [init -> platform_drv] 0:2.0 uses IRQ, vector 0x10, MSI 32bit capable [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'irq_8086:412' func: 10034d0 arg: 111ee80 prio: 3 t: 111eec8 [init -> intel_fb_drv] T Lx::Pci_dev_registry::io_read(unsigned int) [with T = unsigned char]: io_read 972 [init -> intel_fb_drv] I/O port(972) read failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 962 [init -> intel_fb_drv] I/O port(962) write failed [init -> intel_fb_drv] T Lx::Pci_dev_registry::io_read(unsigned int) [with T = unsigned char]: io_read 972 [init -> intel_fb_drv] I/O port(972) read failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 962 [init -> intel_fb_drv] I/O port(962) write failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 964 [init -> intel_fb_drv] I/O port(964) write failed [init -> intel_fb_drv] T Lx::Pci_dev_registry::io_read(unsigned int) [with T = unsigned char]: io_read 965 [init -> intel_fb_drv] I/O port(965) read failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 965 [init -> intel_fb_drv] I/O port(965) write failed [init -> intel_fb_drv] Server::Main::Main(Server::Entrypoint&): returning from main [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [DPDDC-C] registered [init -> ahci_drv] --- Starting AHCI driver -> done right .-) -- [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). 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 Quota exceeded! amount=192512, size=4096, consumed=192512 [init] upgrading quota donation for Env::RM (8192 bytes) [init -> cli_terminal] int main(int, char**): --- terminal service started --- [init -> ps2_drv] Could not set defaults [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service [init -> ps2_drv] Could not enable stream [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> log_file_terminal] --- file terminal started --- [init -> config_rom] connection for file 'nitpicker.config' requested [init -> nitpicker_config] top-level node <xray> missing in input ROM xray [init -> nitpicker_config] could not obtain input value for input xray_enabled [init -> config_rom] connection for file 'decorator.config' requested [init -> decorator_config] top-level node <xray> missing in input ROM xray [init -> decorator_config] could not obtain input value for input xray_enabled [init -> config_rom] connection for file 'trace_subject_reporter.config' requested [init -> trace_subject_reporter] period_ms=1000, report_activity=1, report_affinity=1 [init -> rump_fs] 30000 .. 103fff: ld.lib.so [init -> rump_fs] 1025000 .. 11effff: rump.lib.so [init -> rump_fs] 11f0000 .. 1318fff: rump_fs.lib.so [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] --- init iPXE NIC [init -> nic_bridge] Could not open ROM session for module "config" [init -> nic_bridge] Could not obtain config file [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREADS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOSE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_NCPU [init -> config_rom] connection for file 'wlan_configuration' requested [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT [init -> rump_fs] Asserting rump kernel 27696 KB of RAM Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=32768, size=4096, consumed=32768 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODES [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAIL [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSECTSHIFT Quota exceeded! amount=40960, size=4096, consumed=40960 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=49152, size=4096, consumed=49152 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=61440, size=4096, consumed=61440 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE Quota exceeded! amount=57344, size=4096, consumed=57344 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=69632, size=4096, consumed=69632 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=65536, size=4096, consumed=65536 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=77824, size=4096, consumed=77824 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=73728, size=4096, consumed=73728 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=86016, size=4096, consumed=86016 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME Quota exceeded! amount=81920, size=4096, consumed=81920 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) int main(): --- init created, waiting for exit condition --- [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [init -> intel_fb_drv] LOGGER [0] prio: 3 state: 2 irq_8086:412 [init -> intel_fb_drv] LOGGER [1] prio: 2 state: 2 work_queue [init -> intel_fb_drv] LOGGER [2] prio: 2 state: 2 timer [init -> intel_fb_drv] LOGGER [3] prio: 0 state: 1 linux [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766)
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.
Hello Alex,
Unfortunately your suggestion did not solve the problem. Thank you nevertheless. I will use the VESA driver for now and give the Intel driver another try after the new release.
Kind regards,
Harm
On Fri, Nov 27, 2015 at 11:15 AM, Alexander Boettcher < alexander.boettcher@...1...> wrote:
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.
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello Harm,
on a second look at the fault address, I expect 8K stack will not suffice. 0xa01fdfe0 is 0x2020 below the top of the stack which is slightly more than 8K. Did you try larger values like 16K or even 32K?
Greets
-
Alexander Boettcher -
Christian Helmuth -
Harm de Vries