Closed jklmnn closed 6 years ago
Can you please provide or check the core boot information about the detected memory and where the loaded ROMs got placed to. Maybe there is something suspicious regarding the physical regions (compared to the BIOS-e820 physical ranges).
I can only check this for the TrekStor tablet and Qemu since I don't have any debugging on the other device.
Bender: Hello World.
NOVA Microhypervisor v7-2006635 (x86_64): Aug 17 2017 09:16:01 [gcc 6.3.0] [MBI2]
[ 0] TSC:2133280 kHz BUS:0 kHz DL
[ 0] CORE:0:0:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
[ 3] CORE:0:3:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
[ 2] CORE:0:2:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
[ 1] CORE:0:1:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
Hypervisor features VMX
Hypervisor reports 4x1 CPUs
CPU ID (genode->kernel:package:core:thread) remapping
remap (0->0:0:0:0) boot cpu
remap (1->1:0:1:0)
remap (2->2:0:2:0)
remap (3->3:0:3:0)
Hypervisor info page contains 30 memory descriptors:
core image [0000000000100000,0000000000787000)
binaries region [0000000000226000,0000000000787000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000008f000
use physical memory: 0x0000000000000000 - size: 0x000000000008f000
detected physical memory: 0x0000000000090000 - size: 0x000000000000e000
use physical memory: 0x0000000000090000 - size: 0x000000000000e000
detected physical memory: 0x0000000000100000 - size: 0x000000001ff00000
use physical memory: 0x0000000000100000 - size: 0x000000001ff00000
detected physical memory: 0x0000000020200000 - size: 0x0000000017877000
use physical memory: 0x0000000020200000 - size: 0x0000000017877000
detected physical memory: 0x0000000037b00000 - size: 0x000000000408e000
use physical memory: 0x0000000037b00000 - size: 0x000000000408e000
detected physical memory: 0x000000003bdae000 - size: 0x0000000000001000
use physical memory: 0x000000003bdae000 - size: 0x0000000000001000
detected physical memory: 0x000000003bdb0000 - size: 0x0000000000002000
use physical memory: 0x000000003bdb0000 - size: 0x0000000000002000
detected physical memory: 0x000000003bdb3000 - size: 0x0000000000a4d000
use physical memory: 0x000000003bdb3000 - size: 0x0000000000a4d000
detected physical memory: 0x000000003cc00000 - size: 0x00000000000c7000
use physical memory: 0x000000003cc00000 - size: 0x00000000000c7000
detected physical memory: 0x000000003cdf8000 - size: 0x0000000000008000
use physical memory: 0x000000003cdf8000 - size: 0x0000000000008000
:virt_alloc: Allocator 0x1e75f0 dump:
Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=137434760164K
Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0
Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0
Block: [0000000000016000,0000000000100000) size=936K avail=936K max_avail=936K
Block: [0000000000226000,0000000000227000) size=4K avail=0 max_avail=0
Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000228000,0000000000229000) size=4K avail=0 max_avail=0
Block: [0000000000229000,00000000a0000000) size=2619228K avail=2619228K max_avail=2619228K
Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
=> mem_size=140736144932864 (134216446 MB) / mem_avail=140736144838656 (134216446 MB)
:phys_alloc: Allocator 0x1e6520 dump:
Block: [0000000000001000,000000000008f000) size=568K avail=568K max_avail=568K
Block: [0000000000090000,000000000009e000) size=56K avail=56K max_avail=460M
Block: [0000000000100000,0000000001000000) size=15M avail=15M max_avail=15M
Block: [0000000003400000,0000000020000000) size=460M avail=460M max_avail=460M
Block: [0000000020200000,0000000020201000) size=4K avail=0 max_avail=460M
Block: [0000000020201000,0000000020202000) size=4K avail=0 max_avail=0
Block: [0000000020202000,0000000037a77000) size=385492K avail=385492K max_avail=385492K
Block: [0000000037b00000,0000000037b01000) size=4K avail=0 max_avail=0
Block: [0000000037b01000,000000003bb8e000) size=66100K avail=66100K max_avail=66100K
Block: [000000003bdae000,000000003bdaf000) size=4K avail=0 max_avail=460M
Block: [000000003bdb0000,000000003bdb1000) size=4K avail=0 max_avail=0
Block: [000000003bdb1000,000000003bdb2000) size=4K avail=0 max_avail=3856K
Block: [000000003bdb3000,000000003bdb4000) size=4K avail=0 max_avail=0
Block: [000000003bdb4000,000000003c178000) size=3856K avail=3856K max_avail=3856K
Block: [000000003cc00000,000000003cc01000) size=4K avail=0 max_avail=3856K
Block: [000000003cc01000,000000003cc02000) size=4K avail=0 max_avail=0
Block: [000000003cc02000,000000003cc03000) size=4K avail=0 max_avail=0
Block: [000000003cc03000,000000003cc04000) size=4K avail=0 max_avail=0
Block: [000000003cc04000,000000003cc05000) size=4K avail=0 max_avail=0
Block: [000000003cc05000,000000003cc06000) size=4K avail=0 max_avail=0
Block: [000000003cc06000,000000003cc07000) size=4K avail=0 max_avail=460M
Block: [000000003cc07000,000000003cc08000) size=4K avail=0 max_avail=0
Block: [000000003cc08000,000000003cc09000) size=4K avail=0 max_avail=0
Block: [000000003cc09000,000000003cc0a000) size=4K avail=0 max_avail=0
Block: [000000003cc0a000,000000003cc0b000) size=4K avail=0 max_avail=0
Block: [000000003cc0b000,000000003cc0c000) size=4K avail=0 max_avail=0
Block: [000000003cc0c000,000000003cc0d000) size=4K avail=0 max_avail=724K
Block: [000000003cc0d000,000000003cc0e000) size=4K avail=0 max_avail=0
Block: [000000003cc0e000,000000003cc0f000) size=4K avail=0 max_avail=0
Block: [000000003cc0f000,000000003cc10000) size=4K avail=0 max_avail=724K
Block: [000000003cc10000,000000003cc11000) size=4K avail=0 max_avail=0
Block: [000000003cc11000,000000003cc12000) size=4K avail=0 max_avail=0
Block: [000000003cc12000,000000003ccc7000) size=724K avail=724K max_avail=724K
Block: [000000003cdf8000,000000003ce00000) size=32K avail=32K max_avail=32K
=> mem_size=965967872 (921 MB) / mem_avail=965865472 (921 MB)
:io_mem_alloc: Allocator 0x1e86d8 dump:
Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
Block: [000000000008f000,0000000000090000) size=4K avail=4K max_avail=4K
Block: [000000000009e000,0000000000100000) size=392K avail=392K max_avail=2M
Block: [0000000020000000,0000000020200000) size=2M avail=2M max_avail=2M
Block: [0000000037a77000,0000000037b00000) size=548K avail=548K max_avail=18014398508484604K
Block: [000000003bb8e000,000000003bdae000) size=2176K avail=2176K max_avail=2176K
Block: [000000003bdaf000,000000003bdb0000) size=4K avail=4K max_avail=2176K
Block: [000000003bdb2000,000000003bdb3000) size=4K avail=4K max_avail=4K
Block: [000000003c800000,000000003cc00000) size=4M avail=4M max_avail=18014398508484604K
Block: [000000003ccc7000,000000003cdf8000) size=1220K avail=1220K max_avail=18014398508484604K
Block: [000000003ce00000,fffffffffffff000) size=18014398508484604K avail=18014398508484604K max_avail=18014398508484604K
=> mem_size=18446744072698982400 (17592186043452 MB) / mem_avail=18446744072698982400 (17592186043452 MB)
:rom_fs: ROM modules:
ROM: [000000003c29f000,000000003c2b5448) acpi_drv
ROM: [000000003c7af000,000000003c7b099a) config
ROM: [000000003c359000,000000003c3d5ba8) device_pd
ROM: [000000003c52f000,000000003c5461c0) fb_boot_drv
ROM: [000000003cc10000,000000003cc11000) hypervisor_info_page
ROM: [000000003c2e6000,000000003c3226d0) init
ROM: [000000003c482000,000000003c52eb70) launchpad
ROM: [000000003c770000,000000003c770252) launchpad.config
ROM: [000000003c3d6000,000000003c481b28) ld.lib.so
ROM: [000000003c547000,000000003c57eec0) liquid_fb
ROM: [000000003c727000,000000003c742310) nitlog
ROM: [000000003c771000,000000003c7ae2e0) nitpicker
ROM: [000000003c7b1000,000000003c7eb6d0) platform_drv
ROM: [000000003cc0e000,000000003cc0f000) platform_info
ROM: [000000003c717000,000000003c726ce0) pointer
ROM: [000000003c2b6000,000000003c2cecf8) ps2_drv
ROM: [000000003c758000,000000003c76f770) report_rom
ROM: [000000003c2cf000,000000003c2e5ba0) rom_filter
ROM: [000000003c57f000,000000003c716168) scout
ROM: [000000003c33d000,000000003c3585f8) status_bar
ROM: [000000003c7ec000,000000003c7ff088) testnit
ROM: [000000003c743000,000000003c7576a8) timer
ROM: [000000003c323000,000000003c33c268) xray_trigger
Genode 17.05-87-geb10ef646 <local changes>
920 MiB RAM and 63254 caps assigned to init
no RM attachment (READ pf_addr=0x30a0 pf_ip=0x9300f from pager_object: pd='init' thread='initial')
page fault, pd='init' thread='initial' cpu=0 ip=0x9300f address=0x30a0 stack pointer=0x0 qualifiers=0x4 irUwp reason=1
Bender: Hello World.
NOVA Microhypervisor v7-2006635 (x86_64): Aug 17 2017 09:16:01 [gcc 6.3.0] [MBI2]
[ 0] TSC:2133280 kHz BUS:0 kHz DL
[ 0] CORE:0:0:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
[ 3] CORE:0:3:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
[ 2] CORE:0:2:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
[ 1] CORE:0:1:0 6:37:8:1 [82f] Intel(R) Atom(TM) CPU Z3735G @ 1.33GHz
Hypervisor features VMX
Hypervisor reports 4x1 CPUs
CPU ID (genode->kernel:package:core:thread) remapping
remap (0->0:0:0:0) boot cpu
remap (1->1:0:1:0)
remap (2->2:0:2:0)
remap (3->3:0:3:0)
Hypervisor info page contains 30 memory descriptors:
core image [0000000000100000,0000000000afd000)
binaries region [0000000000227000,0000000000afd000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000008f000
use physical memory: 0x0000000000000000 - size: 0x000000000008f000
detected physical memory: 0x0000000000090000 - size: 0x000000000000e000
use physical memory: 0x0000000000090000 - size: 0x000000000000e000
detected physical memory: 0x0000000000100000 - size: 0x000000001ff00000
use physical memory: 0x0000000000100000 - size: 0x000000001ff00000
detected physical memory: 0x0000000020200000 - size: 0x0000000017877000
use physical memory: 0x0000000020200000 - size: 0x0000000017877000
detected physical memory: 0x0000000037b00000 - size: 0x000000000408e000
use physical memory: 0x0000000037b00000 - size: 0x000000000408e000
detected physical memory: 0x000000003bdae000 - size: 0x0000000000001000
use physical memory: 0x000000003bdae000 - size: 0x0000000000001000
detected physical memory: 0x000000003bdb0000 - size: 0x0000000000002000
use physical memory: 0x000000003bdb0000 - size: 0x0000000000002000
detected physical memory: 0x000000003bdb3000 - size: 0x0000000000a4d000
use physical memory: 0x000000003bdb3000 - size: 0x0000000000a4d000
detected physical memory: 0x000000003cc00000 - size: 0x00000000000c7000
use physical memory: 0x000000003cc00000 - size: 0x00000000000c7000
detected physical memory: 0x000000003cdf8000 - size: 0x0000000000008000
use physical memory: 0x000000003cdf8000 - size: 0x0000000000008000
:virt_alloc: Allocator 0x1e85f0 dump:
Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0
Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0
Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0
Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=924K
Block: [0000000000017000,0000000000018000) size=4K avail=0 max_avail=0
Block: [0000000000018000,0000000000019000) size=4K avail=0 max_avail=0
Block: [0000000000019000,0000000000100000) size=924K avail=924K max_avail=924K
Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=0
Block: [0000000000228000,0000000000229000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000229000,000000000022a000) size=4K avail=0 max_avail=0
Block: [000000000022a000,00000000a0000000) size=2619224K avail=2619224K max_avail=2619224K
Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
=> mem_size=140736144928768 (134216446 MB) / mem_avail=140736144822272 (134216446 MB)
:phys_alloc: Allocator 0x1e7520 dump:
Block: [0000000000001000,000000000008f000) size=568K avail=568K max_avail=568K
Block: [0000000000090000,000000000009e000) size=56K avail=56K max_avail=460M
Block: [0000000000100000,0000000001000000) size=15M avail=15M max_avail=15M
Block: [0000000003400000,0000000020000000) size=460M avail=460M max_avail=460M
Block: [0000000020200000,0000000020201000) size=4K avail=0 max_avail=460M
Block: [0000000020201000,0000000020202000) size=4K avail=0 max_avail=0
Block: [0000000020202000,0000000037a77000) size=385492K avail=385492K max_avail=385492K
Block: [0000000037b00000,0000000037b01000) size=4K avail=0 max_avail=0
Block: [0000000037b01000,000000003bb8e000) size=66100K avail=66100K max_avail=66100K
Block: [000000003bdae000,000000003bdaf000) size=4K avail=0 max_avail=460M
Block: [000000003bdb0000,000000003bdb1000) size=4K avail=0 max_avail=0
Block: [000000003bdb1000,000000003bdb2000) size=4K avail=0 max_avail=0
Block: [000000003bdb3000,000000003bdb4000) size=4K avail=0 max_avail=0
Block: [000000003bdb4000,000000003bdb5000) size=4K avail=0 max_avail=0
Block: [000000003bdb5000,000000003bdb6000) size=4K avail=0 max_avail=0
Block: [000000003bdb6000,000000003bdb7000) size=4K avail=0 max_avail=0
Block: [000000003bdb7000,000000003bdb8000) size=4K avail=0 max_avail=0
Block: [000000003bdb8000,000000003bdb9000) size=4K avail=0 max_avail=0
Block: [000000003bdb9000,000000003bdba000) size=4K avail=0 max_avail=0
Block: [000000003bdba000,000000003bdbb000) size=4K avail=0 max_avail=0
Block: [000000003bdbb000,000000003bdbc000) size=4K avail=0 max_avail=0
Block: [000000003bdbc000,000000003bdbd000) size=4K avail=0 max_avail=460M
Block: [000000003bdbd000,000000003bdbe000) size=4K avail=0 max_avail=0
Block: [000000003bdbe000,000000003bdbf000) size=4K avail=0 max_avail=0
Block: [000000003bdbf000,000000003bdc0000) size=4K avail=0 max_avail=0
Block: [000000003bdc0000,000000003bdc1000) size=4K avail=0 max_avail=0
Block: [000000003bdc1000,000000003bdc2000) size=4K avail=0 max_avail=0
Block: [000000003bdc2000,000000003bdc3000) size=4K avail=0 max_avail=792K
Block: [000000003bdc3000,000000003bdc4000) size=4K avail=0 max_avail=0
Block: [000000003bdc4000,000000003bdc5000) size=4K avail=0 max_avail=0
Block: [000000003bdc5000,000000003bdc6000) size=4K avail=0 max_avail=0
Block: [000000003bdc6000,000000003bdc7000) size=4K avail=0 max_avail=232K
Block: [000000003bdc7000,000000003bdc8000) size=4K avail=0 max_avail=0
Block: [000000003bdc8000,000000003be02000) size=232K avail=232K max_avail=232K
Block: [000000003cc00000,000000003cc01000) size=4K avail=0 max_avail=792K
Block: [000000003cc01000,000000003ccc7000) size=792K avail=792K max_avail=792K
Block: [000000003cdf8000,000000003ce00000) size=32K avail=32K max_avail=32K
=> mem_size=962338816 (917 MB) / mem_avail=962224128 (917 MB)
:io_mem_alloc: Allocator 0x1e96d8 dump:
Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
Block: [000000000008f000,0000000000090000) size=4K avail=4K max_avail=4K
Block: [000000000009e000,0000000000100000) size=392K avail=392K max_avail=2M
Block: [0000000020000000,0000000020200000) size=2M avail=2M max_avail=2M
Block: [0000000037a77000,0000000037b00000) size=548K avail=548K max_avail=18014398508484604K
Block: [000000003bb8e000,000000003bdae000) size=2176K avail=2176K max_avail=2176K
Block: [000000003bdaf000,000000003bdb0000) size=4K avail=4K max_avail=2176K
Block: [000000003bdb2000,000000003bdb3000) size=4K avail=4K max_avail=4K
Block: [000000003c800000,000000003cc00000) size=4M avail=4M max_avail=18014398508484604K
Block: [000000003ccc7000,000000003cdf8000) size=1220K avail=1220K max_avail=18014398508484604K
Block: [000000003ce00000,fffffffffffff000) size=18014398508484604K avail=18014398508484604K max_avail=18014398508484604K
=> mem_size=18446744072698982400 (17592186043452 MB) / mem_avail=18446744072698982400 (17592186043452 MB)
:rom_fs: ROM modules:
ROM: [000000003bf2a000,000000003bf403d0) acpi_drv
ROM: [000000003c7af000,000000003c7b0beb) config
ROM: [000000003c239000,000000003c52a3f0) core.o
ROM: [000000003c063000,000000003c0dfce8) device_pd
ROM: [000000003bfe4000,000000003bff11b0) dummy_input_drv
ROM: [000000003c564000,000000003c5793e0) dynamic_rom
ROM: [000000003bf41000,000000003bf58240) fb_boot
ROM: [000000003bf59000,000000003bfe36f8) gslx_i2c_drv
ROM: [000000003bdc6000,000000003bdc7000) hypervisor_info_page
ROM: [000000003c009000,000000003c046740) init
ROM: [000000003c18b000,000000003c238b88) launchpad
ROM: [000000003c770000,000000003c770252) launchpad.config
ROM: [000000003c0e0000,000000003c18abd8) ld.lib.so
ROM: [000000003c52b000,000000003c563f08) liquid_fb
ROM: [000000003c722000,000000003c73d310) nitlog
ROM: [000000003c771000,000000003c7ae2e8) nitpicker
ROM: [000000003c76b000,000000003c76fe78) null.fw
ROM: [000000003c7b1000,000000003c7eb750) platform_drv
ROM: [000000003bdc4000,000000003bdc5000) platform_info
ROM: [000000003c712000,000000003c721ce0) pointer
ROM: [000000003c753000,000000003c76a788) report_rom
ROM: [000000003bff2000,000000003c008ad0) rom_filter
ROM: [000000003c57a000,000000003c711138) scout
ROM: [000000003c047000,000000003c062600) status_bar
ROM: [000000003c7ec000,000000003c7ff088) testnit
ROM: [000000003c73e000,000000003c7526a8) timer
Genode 17.05-36-g646056e7e
917 MiB RAM and 63254 caps assigned to init
Core child constructed
Note: This image is build from https://github.com/jklmnn/genode/commit/646056e7e28c3b338b11fa108998d25e9ba9923f. The Core child constructed
message (I added further debug messages in this build I omitted here) is printed in repos/base/src/core/main.cc:317 what means that Genode isn't stopping but runs correctly but without running any services.
Bender: Hello World.
NOVA Microhypervisor v7-4023387 (x86_64): Aug 18 2017 08:04:29 [gcc 6.3.0] [MBI2]
[ 0] TSC:2494434 kHz BUS:1000070 kHz
[ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz
Hypervisor reports 1x1 CPU
Warning: CPU has no invariant TSC.
CPU ID (genode->kernel:package:core:thread) remapping
remap (0->0:0:0:0) boot cpu
Hypervisor info page contains 32 memory descriptors:
core image [0000000000100000,0000000000aa6000)
binaries region [0000000000227000,0000000000aa6000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x00000000000a0000
use physical memory: 0x0000000000000000 - size: 0x00000000000a0000
detected physical memory: 0x0000000000100000 - size: 0x0000000000706000
use physical memory: 0x0000000000100000 - size: 0x0000000000706000
detected physical memory: 0x0000000000808000 - size: 0x0000000000008000
use physical memory: 0x0000000000808000 - size: 0x0000000000008000
detected physical memory: 0x0000000000818000 - size: 0x0000000000008000
use physical memory: 0x0000000000818000 - size: 0x0000000000008000
detected physical memory: 0x0000000000900000 - size: 0x000000001e347000
use physical memory: 0x0000000000900000 - size: 0x000000001e347000
detected physical memory: 0x000000001ec83000 - size: 0x00000000000ec000
use physical memory: 0x000000001ec83000 - size: 0x00000000000ec000
detected physical memory: 0x000000001edb5000 - size: 0x0000000001080000
use physical memory: 0x000000001edb5000 - size: 0x0000000001080000
detected physical memory: 0x000000001fe99000 - size: 0x00000000000b7000
use physical memory: 0x000000001fe99000 - size: 0x00000000000b7000
detected physical memory: 0x000000001ff70000 - size: 0x0000000000008000
use physical memory: 0x000000001ff70000 - size: 0x0000000000008000
:virt_alloc: Allocator 0x1e85f0 dump:
Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=137434760164K
Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0
Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=932K
Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=0
Block: [0000000000017000,0000000000100000) size=932K avail=932K max_avail=932K
Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=0
Block: [0000000000228000,0000000000229000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000229000,000000000022a000) size=4K avail=0 max_avail=0
Block: [000000000022a000,00000000a0000000) size=2619224K avail=2619224K max_avail=2619224K
Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
=> mem_size=140736144928768 (134216446 MB) / mem_avail=140736144830464 (134216446 MB)
:phys_alloc: Allocator 0x1e7520 dump:
Block: [0000000000001000,0000000000002000) size=4K avail=0 max_avail=0
Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=7184K
Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0
Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=7184K
Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=580K
Block: [000000000000f000,00000000000a0000) size=580K avail=580K max_avail=580K
Block: [0000000000100000,0000000000101000) size=4K avail=0 max_avail=7184K
Block: [0000000000101000,0000000000102000) size=4K avail=0 max_avail=0
Block: [0000000000102000,0000000000806000) size=7184K avail=7184K max_avail=7184K
Block: [0000000000808000,0000000000810000) size=32K avail=32K max_avail=32K
Block: [0000000000818000,0000000000819000) size=4K avail=0 max_avail=450844K
Block: [0000000000819000,000000000081a000) size=4K avail=0 max_avail=0
Block: [000000000081a000,000000000081b000) size=4K avail=0 max_avail=0
Block: [000000000081b000,000000000081c000) size=4K avail=0 max_avail=0
Block: [000000000081c000,000000000081d000) size=4K avail=0 max_avail=0
Block: [000000000081d000,000000000081e000) size=4K avail=0 max_avail=0
Block: [000000000081e000,000000000081f000) size=4K avail=0 max_avail=0
Block: [000000000081f000,0000000000820000) size=4K avail=0 max_avail=0
Block: [0000000000900000,0000000000901000) size=4K avail=0 max_avail=450844K
Block: [0000000000901000,0000000000902000) size=4K avail=0 max_avail=0
Block: [0000000000902000,0000000001000000) size=7160K avail=7160K max_avail=450844K
Block: [0000000003400000,000000001ec47000) size=450844K avail=450844K max_avail=450844K
Block: [000000001ec83000,000000001ed6f000) size=944K avail=944K max_avail=450844K
Block: [000000001edb5000,000000001f48e000) size=7012K avail=7012K max_avail=7012K
Block: [000000001fe99000,000000001ff50000) size=732K avail=732K max_avail=7012K
Block: [000000001ff70000,000000001ff78000) size=32K avail=32K max_avail=32K
=> mem_size=486014976 (463 MB) / mem_avail=485908480 (463 MB)
:io_mem_alloc: Allocator 0x1e96d8 dump:
Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
Block: [00000000000a0000,0000000000100000) size=384K avail=384K max_avail=384K
Block: [0000000000806000,0000000000808000) size=8K avail=8K max_avail=384K
Block: [0000000000810000,0000000000818000) size=32K avail=32K max_avail=32K
Block: [0000000000820000,0000000000900000) size=896K avail=896K max_avail=18014398508958236K
Block: [000000001ec47000,000000001ec83000) size=240K avail=240K max_avail=240K
Block: [000000001ed6f000,000000001edb5000) size=280K avail=280K max_avail=18014398508958236K
Block: [000000001fe35000,000000001fe99000) size=400K avail=400K max_avail=400K
Block: [000000001ff50000,000000001ff70000) size=128K avail=128K max_avail=18014398508958236K
Block: [000000001ff78000,fffffffffffff000) size=18014398508958236K avail=18014398508958236K max_avail=18014398508958236K
=> mem_size=18446744073175662592 (17592186043906 MB) / mem_avail=18446744073175662592 (17592186043906 MB)
:rom_fs: ROM modules:
ROM: [000000001f5b6000,000000001f5cc3d0) acpi_drv
ROM: [000000001fde4000,000000001fde5995) config
ROM: [000000001f889000,000000001fb7a3f0) core.o
ROM: [000000001f671000,000000001f6edce8) device_pd
ROM: [000000001f6ee000,000000001f72fdf0) fb_drv
ROM: [000000000000d000,000000000000e000) hypervisor_info_page
ROM: [000000001f5fd000,000000001f63a740) init
ROM: [000000001f7db000,000000001f888b88) launchpad
ROM: [000000001fda5000,000000001fda5252) launchpad.config
ROM: [000000001f730000,000000001f7dabd8) ld.lib.so
ROM: [000000001fb7b000,000000001fbb3f08) liquid_fb
ROM: [000000001fd5c000,000000001fd77310) nitlog
ROM: [000000001fda6000,000000001fde32e8) nitpicker
ROM: [000000001fde6000,000000001fe20750) platform_drv
ROM: [000000000000b000,000000000000c000) platform_info
ROM: [000000001fd4c000,000000001fd5bce0) pointer
ROM: [000000001f5cd000,000000001f5e5ce8) ps2_drv
ROM: [000000001fd8d000,000000001fda4788) report_rom
ROM: [000000001f5e6000,000000001f5fcad0) rom_filter
ROM: [000000001fbb4000,000000001fd4b138) scout
ROM: [000000001f655000,000000001f670600) status_bar
ROM: [000000001fe21000,000000001fe34088) testnit
ROM: [000000001fd78000,000000001fd8c6a8) timer
ROM: [000000001f63b000,000000001f6542a8) xray_trigger
Genode 17.05-36-g646056e7e
462 MiB RAM and 63254 caps assigned to init
no RM attachment (WRITE pf_addr=0x1000 pf_ip=0x5a046 from pager_object: pd='init' thread='ep')
page fault, pd='init' thread='ep' cpu=0 ip=0x5a046 address=0x1000 stack pointer=0xa02fef18 qualifiers=0x6 irUWp reason=1
Core child constructed
Note: As you can see this is with another NOVA but with an image build from the same commit (I couldn't reproduce the exact image and I have again omitted some custom debug messages). This is also the first time that this happened on Qemu.
Bender: Hello World.
NOVA Microhypervisor v7-2006635 (x86_64): Aug 18 2017 08:37:11 [gcc 6.3.0] [MBI2]
[ 0] TSC:2510031 kHz BUS:1006356 kHz (measured)
[ 0] TSC:2000000 kHz BUS:1000000 kHz (adjusted due to instable TSC)
[ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz
Hypervisor reports 1x1 CPU
Warning: CPU has no invariant TSC.
CPU ID (genode->kernel:package:core:thread) remapping
remap (0->0:0:0:0) boot cpu
Hypervisor info page contains 32 memory descriptors:
core image [0000000000100000,0000000000787000)
binaries region [0000000000226000,0000000000787000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x00000000000a0000
use physical memory: 0x0000000000000000 - size: 0x00000000000a0000
detected physical memory: 0x0000000000100000 - size: 0x0000000000706000
use physical memory: 0x0000000000100000 - size: 0x0000000000706000
detected physical memory: 0x0000000000808000 - size: 0x0000000000008000
use physical memory: 0x0000000000808000 - size: 0x0000000000008000
detected physical memory: 0x0000000000818000 - size: 0x0000000000008000
use physical memory: 0x0000000000818000 - size: 0x0000000000008000
detected physical memory: 0x0000000000900000 - size: 0x000000001e347000
use physical memory: 0x0000000000900000 - size: 0x000000001e347000
detected physical memory: 0x000000001ec83000 - size: 0x00000000000ec000
use physical memory: 0x000000001ec83000 - size: 0x00000000000ec000
detected physical memory: 0x000000001edb5000 - size: 0x0000000001080000
use physical memory: 0x000000001edb5000 - size: 0x0000000001080000
detected physical memory: 0x000000001fe99000 - size: 0x00000000000b7000
use physical memory: 0x000000001fe99000 - size: 0x00000000000b7000
detected physical memory: 0x000000001ff70000 - size: 0x0000000000008000
use physical memory: 0x000000001ff70000 - size: 0x0000000000008000
:virt_alloc: Allocator 0x1e75f0 dump:
Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0
Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=137434760164K
Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0
Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0
Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0
Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0
Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0
Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0
Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0
Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0
Block: [0000000000016000,0000000000100000) size=936K avail=936K max_avail=936K
Block: [0000000000226000,0000000000227000) size=4K avail=0 max_avail=0
Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=137434760164K
Block: [0000000000228000,0000000000229000) size=4K avail=0 max_avail=0
Block: [0000000000229000,00000000a0000000) size=2619228K avail=2619228K max_avail=2619228K
Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K
Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K
=> mem_size=140736144932864 (134216446 MB) / mem_avail=140736144838656 (134216446 MB)
:phys_alloc: Allocator 0x1e6520 dump:
Block: [0000000000001000,0000000000002000) size=4K avail=0 max_avail=0
Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0
Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0
Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0
Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0
Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=7184K
Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0
Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0
Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0
Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0
Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0
Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=7184K
Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0
Block: [000000000000e000,00000000000a0000) size=584K avail=584K max_avail=584K
Block: [0000000000100000,0000000000101000) size=4K avail=0 max_avail=7184K
Block: [0000000000101000,0000000000102000) size=4K avail=0 max_avail=0
Block: [0000000000102000,0000000000806000) size=7184K avail=7184K max_avail=7184K
Block: [0000000000808000,0000000000810000) size=32K avail=32K max_avail=32K
Block: [0000000000818000,0000000000819000) size=4K avail=0 max_avail=450844K
Block: [0000000000819000,000000000081a000) size=4K avail=0 max_avail=0
Block: [000000000081a000,000000000081b000) size=4K avail=0 max_avail=0
Block: [000000000081b000,000000000081c000) size=4K avail=0 max_avail=0
Block: [000000000081c000,000000000081d000) size=4K avail=0 max_avail=0
Block: [000000000081d000,000000000081e000) size=4K avail=0 max_avail=0
Block: [000000000081e000,000000000081f000) size=4K avail=0 max_avail=0
Block: [000000000081f000,0000000000820000) size=4K avail=0 max_avail=0
Block: [0000000000900000,0000000000901000) size=4K avail=0 max_avail=450844K
Block: [0000000000901000,0000000000902000) size=4K avail=0 max_avail=0
Block: [0000000000902000,0000000001000000) size=7160K avail=7160K max_avail=450844K
Block: [0000000003400000,000000001ec47000) size=450844K avail=450844K max_avail=450844K
Block: [000000001ec83000,000000001ed6f000) size=944K avail=944K max_avail=450844K
Block: [000000001edb5000,000000001f7ad000) size=10208K avail=10208K max_avail=10208K
Block: [000000001fe99000,000000001ff50000) size=732K avail=732K max_avail=10208K
Block: [000000001ff70000,000000001ff78000) size=32K avail=32K max_avail=32K
=> mem_size=489287680 (466 MB) / mem_avail=489185280 (466 MB)
:io_mem_alloc: Allocator 0x1e86d8 dump:
Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K
Block: [00000000000a0000,0000000000100000) size=384K avail=384K max_avail=384K
Block: [0000000000806000,0000000000808000) size=8K avail=8K max_avail=384K
Block: [0000000000810000,0000000000818000) size=32K avail=32K max_avail=32K
Block: [0000000000820000,0000000000900000) size=896K avail=896K max_avail=18014398508958236K
Block: [000000001ec47000,000000001ec83000) size=240K avail=240K max_avail=240K
Block: [000000001ed6f000,000000001edb5000) size=280K avail=280K max_avail=18014398508958236K
Block: [000000001fe35000,000000001fe99000) size=400K avail=400K max_avail=400K
Block: [000000001ff50000,000000001ff70000) size=128K avail=128K max_avail=18014398508958236K
Block: [000000001ff78000,fffffffffffff000) size=18014398508958236K avail=18014398508958236K max_avail=18014398508958236K
=> mem_size=18446744073175662592 (17592186043906 MB) / mem_avail=18446744073175662592 (17592186043906 MB)
:rom_fs: ROM modules:
ROM: [000000001f8d4000,000000001f8ea448) acpi_drv
ROM: [000000001fde4000,000000001fde599a) config
ROM: [000000001f98e000,000000001fa0aba8) device_pd
ROM: [000000001fb64000,000000001fb7b1c0) fb_boot_drv
ROM: [000000000000c000,000000000000d000) hypervisor_info_page
ROM: [000000001f91b000,000000001f9576d0) init
ROM: [000000001fab7000,000000001fb63b70) launchpad
ROM: [000000001fda5000,000000001fda5252) launchpad.config
ROM: [000000001fa0b000,000000001fab6b28) ld.lib.so
ROM: [000000001fb7c000,000000001fbb3ec0) liquid_fb
ROM: [000000001fd5c000,000000001fd77310) nitlog
ROM: [000000001fda6000,000000001fde32e0) nitpicker
ROM: [000000001fde6000,000000001fe206d0) platform_drv
ROM: [000000000000a000,000000000000b000) platform_info
ROM: [000000001fd4c000,000000001fd5bce0) pointer
ROM: [000000001f8eb000,000000001f903cf8) ps2_drv
ROM: [000000001fd8d000,000000001fda4770) report_rom
ROM: [000000001f904000,000000001f91aba0) rom_filter
ROM: [000000001fbb4000,000000001fd4b168) scout
ROM: [000000001f972000,000000001f98d5f8) status_bar
ROM: [000000001fe21000,000000001fe34088) testnit
ROM: [000000001fd78000,000000001fd8c6a8) timer
ROM: [000000001f958000,000000001f971268) xray_trigger
Genode 17.05-87-geb10ef646 <local changes>
466 MiB RAM and 63254 caps assigned to init
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init] child "nitpicker_config" announces service "ROM"
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init] child "timer" announces service "Timer"
[init -> fb_boot_drv] Framebuffer with 800x600x32 @ 0x80000000
[init -> nitpicker_config] Warning: top-level node <xray> missing in input ROM xray
[init -> nitpicker_config] Warning: could not obtain input value for input xray_enabled
[init] child "fb_boot_drv" announces service "Framebuffer"
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13
[init] child "platform_drv" announces service "Platform"
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> ps2_drv] detected ExPS/2 mouse - activating scroll-wheel and 5-button support
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init] child "ps2_drv" announces service "Input"
[init] child "nitpicker" announces service "Nitpicker"
[init -> scout] png is 101 x 92, depth=8
I hope this helps.
The logs don't reveal for me anything suspicious. In #2242 the patch 346c9464220578f3dc295c773660a849d9738fc8 may potential be related to this issue. The framebuffer memory was not excluded/reserved from the normal available physical RAM. In principle, it may happen that core or init would use it as normal backing store, which would lead to any kind of corruption of the data structures placed in the framebuffer.
I will try that fix and report if it solved the problem.
I fear, bender needs also the same exclusion of framebuffer memory from the "free to use" list used for relocation. I'm currently investigating.
@jklmnn: may you give bender from https://github.com/alex-ab/morbo/commits/genode_bender_overlap a try (and revert the DEBUG commit) ? It mainly should remove the framebuffer memory from the free available memory in bender. If the issue persists, please re-add the DEBUG commit and have a look to the output or provide here. Thanks!
I have tried both the fixed bender with and without debug outputs. They all work fine in Qemu (as expected) but neither works on the tablet. I can't give you any debug output as they didn't boot at all (at least there was no output over serial). They both booted on the yoga but gave the same results as the old bender. I can't give you debug output here either since the yoga doesn't have any serial interface.
I had now something similar. In my case it turned out that the image.elf on the usb stick had another shasum then the one I actually generated - so the content was corrupted at the end.
To ensure all data is written, I use the following commandline to write images to USB.
dd if=<image file> of=<device> bs=8M conv=fsync
With commit ee29b0fb70d5a58bad83f4a57ed048de71681c41 the issue should be fixed.
Merged to staging.
When booted with bender (and NOVA) on certain hardware, core fails to correctly parse the config and therefor init doesn't find any services to start end exists immediately.
Bug description
This bug is bound to a specific image on certain hardware. This means an image containing this bug will trigger it only but always when booted on a specific device. Also it is no random hardware error as I could reproduce it on two devices of the same type. The same image booted on another type of device or in Qemu will work flawlessly.
I could track down the root of the issue but I still can't specify an exact cause. Inside the
xml()
function, the memory address of the config rom is correct and the valid bit is set. When the bug occurs, anInvalid_syntax
exception has been thrown and therefor an empty node is returned. This exception is caused by theXml_node
constructor. Here comes the weird part. I printed the start tag. If it is of typeEMPTY
the function should return. To check that I casted the tag to int which results in 2 (which is correlates with the enum and is also what is printed if the bug is not triggered). The log message is printed directly before the checks and before the exception could be thrown (seeXml_node@646056e7e
). The log message is clearly before the exception but the exception is not preceded by these messages in the log. Contrary there is a message after each exception. Also none of the called constructors throws this exception. I see two possibilities here:I have observed this on two devices, a Lenovo Yoga 300-11IBR and a TrekStor SurfTab wintron 7.0. While I could trigger the bug on both devices I couldn't do that with a single image.
images.zip
The image.zip file contains the bender, nova and genode images I have used. sha1sum:
With these files I could create the following results:
Bug means in this case that the bug I described above occured. The page fault appeared on loading init before any services were started. In the bug or page fault cases I couldn't determine why it wouldn't boot as I had no other debugging options. I couldn't test the image.elf.orig since I wasn't able to whip up a qemu bootable image and I had only this image file left.
Hardware
TrekStor Wintron
dmesg
lspci
lsusb
/proc/cpuinfo
Lenovo Yoga 300
dmesg
lspci
lsusb
/proc/cpuinfo