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)