Intel framebuffer driver

[Harm de Vries]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20151126/cf2cd77f/attachment.html>