mystique error during app load

Alexander Tormasov a.tormasov at innopolis.ru
Mon Aug 5 01:10:57 CEST 2019 

I write some sample application to run inside Genode over seL4 inside VM with 4Gb.
and, I see a problem with LD, saying something with memory (in the end of log):
[init -> test-go] Error: LD: exception during program load: 'Genode::Region_map::Region_conflict'
any ideas what cause and how to get mode info?
I suspect again incorrect config in runscript, while similar test-cache app runs ok

thanks!

	<config>
		<parent-provides>
			<service name="LOG"/>
			<service name="CPU"/>
			<service name="PD"/>
			<service name="ROM"/>
			<service name="IO_MEM"/>
		</parent-provides>
		<default-route>
			<any-service> <parent/> </any-service>
		</default-route>
		<default caps="1000"/>
		<start name="test-go">
			<resource name="RAM" quantum="128M"/>
		</start>
	</config> 

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=0xfd29000 end=0xffff330 size=0x2d6330 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 dc000 size 24000 type 2
	Physical Memory Region from 100000 size afeec000 type 1
Adding physical memory region 0x100000-0xaffec000
	Physical Memory Region from affec000 size 2000 type 2
	Physical Memory Region from affee000 size d000 type 3
	Physical Memory Region from afffb000 size 5000 type 4
	Physical Memory Region from fec00000 size 1000 type 2
	Physical Memory Region from fed00000 size 1000 type 2
	Physical Memory Region from fed04000 size 1000 type 2
	Physical Memory Region from fee00000 size 1000 type 2
	Physical Memory Region from ffc00000 size 400000 type 2
	Physical Memory Region from 1000000000 size 50000000 type 1
Adding physical memory region 0x100000000-0x150000000
Got framebuffer info in multiboot2. Current video mode is at physical address=b0000000 pitch=10240 resolution=2560x1600 at 32 type=1
Detected 1 boot module(s):
***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling
Kernel loaded to: start=0x200000 end=0xaa5000 size=0x8a5000 entry=0x201209
ACPI: RSDT paddr=0xaffee000
ACPI: RSDT vaddr=0xaffee000
ACPI: FADT paddr=0xaffee040
ACPI: FADT vaddr=0xaffee040
ACPI: FADT flags=0xd
ACPI: MADT paddr=0xaffee200
ACPI: MADT vaddr=0xaffee200
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=14 gsi=14 flags=0x4
ACPI: MADT_ISO bus=0 source=15 gsi=15 flags=0x4
ACPI: 1 CPU(s) detected
ELF-loading userland images from boot modules:
size=0x1140000 v_entry=0x2000018 v_start=0x2000000 v_end=0x3140000 p_start=0x10000000 p_end=0x11140000
Moving loaded userland images to final location: from=0x10000000 to=0xaa5000 size=0x1140000
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 0x2fe7730 dump:
 Block: [0000000000200000,0000000000240000) size=256K avail=256K max_avail=256K
 => mem_size=262144 (0 MB) / mem_avail=262144 (0 MB)

Warning:        memory in range [0000000100000000,0000000140000000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [0000000140000000,0000000148000000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [0000000148000000,000000014c000000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014e000000,000000014f000000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f000000,000000014f400000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f400000,000000014f600000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f600000,000000014f700000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f700000,000000014f780000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f780000,000000014f7c0000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f7e0000,000000014f7e4000) is unavailable (due to limited untyped cnode range)
Warning:        memory in range [000000014f7e4000,000000014f7e5000) is unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000150000000,0000000160000000) is unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000160000000,0000000180000000) is unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000180000000,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,0000000003140000)
 ipc buffer [0000000003140000,0000000003141000)
 boot_info  [0000000003141000,0000000003143000)
 stack area [0000000040000000,0000000050000000)
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
boot module 'config' (372 bytes)
boot module 'test-go' (10088 bytes)
boot module 'ld.lib.so' (1002416 bytes)
boot module 'init' (345536 bytes)
Warning: need physical memory, but Platform object not constructed yet
Genode sculpt-19.07 <local changes>
2721 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
[init -> test-go] Error: LD: exception during program load: 'Genode::Region_map::Region_conflict'
Kernel: Thread 'ep' died because of an uncaught exception
[init -> test-go] Error: Uncaught exception of type 'Genode::Region_map::Region_conflict'
[init -> test-go] Warning: abort called - thread: ep
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] child "test-go" exited with exit value 1


Sincerely,
    Alexander

More information about the users mailing list