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 ---