qemu-system-x86_64: warning: TCG doesn't support requested feature: CPUID.01H:ECX.vmx [bit 5]

VNC server running on 127.0.0.1:5900

Bender: Hello World.

Boot config: parsing cmdline 'sel4 disable_iommu'

Boot config: console_port = 0x3f8

Boot config: debug_port = 0x3f8

Boot config: disable_iommu = true

module #0: start=0xf5c4000 end=0xffff330 size=0xa3b330 name='image.elf'

Physical Memory Region from 0 size 9fc00 type 1

Physical Memory Region from 9fc00 size 400 type 2

Physical Memory Region from f0000 size 10000 type 2

Physical Memory Region from 100000 size 1fedf000 type 1

Adding physical memory region 0x100000-0x1ffdf000

Physical Memory Region from 1ffdf000 size 21000 type 2

Physical Memory Region from b0000000 size 10000000 type 2

Physical Memory Region from fed1c000 size 4000 type 2

Physical Memory Region from fffc0000 size 40000 type 2

Got framebuffer info in multiboot2. Current video mode is at physical address=fd000000 pitch=10240 resolution=2560x1600@32 type=1

Detected 1 boot module(s):

Kernel loaded to: start=0x200000 end=0xaa5000 size=0x8a5000 entry=0x201209

ACPI: RSDT paddr=0x1ffe20b8

ACPI: RSDT vaddr=0x1ffe20b8

ACPI: FADT paddr=0x1ffe1ed8

ACPI: FADT vaddr=0x1ffe1ed8

ACPI: FADT flags=0x84a5

ACPI: MADT paddr=0x1ffe1fcc

ACPI: MADT vaddr=0x1ffe1fcc

ACPI: MADT apic_addr=0xfee00000

ACPI: MADT flags=0x1

ACPI: MADT_APIC apic_id=0x0

ACPI: MADT_IOAPIC ioapic_id=0 ioapic_addr=0xfec00000 gsib=0

ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0

ACPI: MADT_ISO bus=0 source=5 gsi=5 flags=0xd

ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd

ACPI: MADT_ISO bus=0 source=10 gsi=10 flags=0xd

ACPI: MADT_ISO bus=0 source=11 gsi=11 flags=0xd

ACPI: 1 CPU(s) detected

ELF-loading userland images from boot modules:

size=0x18a5000 v_entry=0x2000018 v_start=0x2000000 v_end=0x38a5000 p_start=0x10000000 p_end=0x118a5000

Moving loaded userland images to final location: from=0x10000000 to=0xaa5000 size=0x18a5000

Starting node #0 with APIC ID 0

Mapping kernel window is done

vt-x: not supported

Booting all finished, dropped to user space

:phys_mem_16k: Allocator 0x2fe8d30 dump:

Block: [0000000000200000,0000000000240000) size=256K avail=256K max_avail=256K

=> mem_size=262144 (0 MB) / mem_avail=262144 (0 MB)

Warning: device memory in range [0000000100000000,0000000200000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000000200000000,0000000400000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000000400000000,0000000800000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000000800000000,0000001000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000001000000000,0000002000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000002000000000,0000004000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000004000000000,0000008000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000008000000000,0000408000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000408000000000,0000608000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000608000000000,0000708000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000708000000000,0000788000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [0000788000000000,00007c8000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [00007c8000000000,00007e8000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [00007e8000000000,00007f8000000000) is unavailable (due to limited untyped cnode range)

Warning: device memory in range [00007f8000000000,0000800000000000) is unavailable (due to limited untyped cnode range)

virtual address layout of core:

overall [0000000000002000,0000000200000000)

core image [0000000002000000,00000000038a5000)

ipc buffer [00000000038a5000,00000000038a6000)

boot_info [00000000038a6000,00000000038a8000)

stack area [0000000040000000,0000000050000000)

Warning: need physical memory, but Platform object not constructed yet

boot module 'launchpad' (829744 bytes)

boot module 'nit_focus' (97520 bytes)

boot module 'ps2_drv' (181488 bytes)

boot module 'vesa_fb_drv' (367632 bytes)

boot module 'nitpicker' (378296 bytes)

boot module 'drivers.config' (4788 bytes)

boot module 'init' (345536 bytes)

boot module 'rom_filter' (121520 bytes)

boot module 'testnit' (108568 bytes)

boot module 'global_keys_handler' (164400 bytes)

boot module 'fb_drv.config' (51 bytes)

boot module 'config' (5603 bytes)

boot module 'report_rom' (128160 bytes)

boot module 'liquid_fb' (684584 bytes)

boot module 'special.chargen' (1346 bytes)

boot module 'test-libpng_static' (154016 bytes)

boot module 'status_bar' (131872 bytes)

boot module 'pointer' (154656 bytes)

boot module 'nitlog' (144392 bytes)

boot module 'timer' (120736 bytes)

boot module 'usb_drv' (1400368 bytes)

boot module 'init.xsd' (7148 bytes)

boot module 'acpi_drv' (155480 bytes)

boot module 'platform_drv' (334464 bytes)

boot module 'input_filter.config' (768 bytes)

boot module 'ld.lib.so' (1020960 bytes)

boot module 'en_us.chargen' (13500 bytes)

boot module 'launchpad.config' (594 bytes)

boot module 'scout' (1788016 bytes)

boot module 'input_filter' (200192 bytes)

Warning: need physical memory, but Platform object not constructed yet

Genode 19.08-15-g4a7b0e99a <local changes>

369 MiB RAM and 261141 caps assigned to init

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20

[init -> drivers -> acpi_drv] Found MADT

[init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0

[init -> drivers -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13

[init -> drivers -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13

[init -> drivers -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13

[init -> drivers -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13

[init -> drivers -> acpi_drv] Found MCFG

[init -> drivers -> acpi_drv] MCFG BASE 0xb0000000 seg 0x0 bus 0x0-0xff

[init -> drivers -> acpi_drv] RSDT OEM 'BOCHS ', table id 'BXPCRSDT', revision 1, creator 'BXPC' (1)

[init -> drivers -> platform_drv] ECAM/MMCONF range 00:00.0-ff:1f.7 - addr [00000000b0000000,00000000c0000000)

[init -> drivers -> platform_drv] Root bridge: 00:00.0

[init -> drivers -> acpi_drv] SMBIOS table (entry point: 0x1a5910 structures: 0xf5930)

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x40

[init -> drivers -> ps2_drv] Using keyboard with scan code set 1 (xlate)

[init -> drivers -> usb_drv] Could not read screen resolution in config node

[init -> drivers -> usb_drv] Configured HID screen with 0x0 (multitouch=false)

[init -> drivers -> usb_drv] No <storage> config node found - not starting the USB Storage (Block) service

[init -> drivers -> usb_drv] No <nic> config node found - not starting the USB Nic (Network) service

[init -> drivers -> usb_drv] No <raw> config node found - not starting external USB service

[init -> drivers -> usb_drv] Enabled UHCI (USB 1.0/1.1) support

[init -> drivers -> usb_drv] Enabled EHCI (USB 2.0) support

[init -> drivers -> usb_drv] Enabled XHCI (USB 3.0) support

[init -> drivers -> fb_drv] Found PCI VGA at 00:01.0

[init -> drivers -> fb_drv] fb mapped to 0x6000

[init -> drivers -> ps2_drv] detected ExPS/2 mouse - activating scroll-wheel and 5-button support

[init -> drivers -> platform_drv] PS2 uses IRQ, vector 0x1

[init -> drivers -> platform_drv] PS2 uses IRQ, vector 0xc

Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x80

[init -> drivers] child "input_filter" requests resources: ram_quota=20480

[init -> drivers -> fb_drv] Found: VESA BIOS version 3.0

[init -> drivers -> fb_drv] Found: physical frame buffer at 0xfd000000 size: 16777216

[init -> drivers -> fb_drv] fb mapped to 0xb000000

[init -> drivers -> fb_drv] using video mode: 1024x768@16

[init -> drivers -> fb_drv] using buffered output