Two topics of discussion in this email:
1) In a previous email in this chain you mentioned trying something more simplistic, such as run/log. Here are the results of this with and without the SABLE bootloader - this just hangs on handing off from NOVA to Genode, not even any errors. The SABLE code will be going open source soon and I will be able to provide this to you as needed in the effort to trace down the problem.
2) The only working binary I have from the 17.05 that I can get SABLE to boot properly is Genode with seL4. I am trying to be able to reproduce this build but when I build and run Genode 17.05 using seL4 kernel, it doesn't boot into the demo. The nitpicker and/or framebuffer seems to not load properly when it does on the binary I use for testing SABLE. Below is the output from that 17.05 (without using SABLE). Any ideas why this build is no longer working?
****************** With SABLE *** (18.02 x86_32) ******************
NOVA Microhypervisor v7-9b24eb4 (x86_32): May 3 2018 13:49:08 [gcc 6.3.0] [MBI]
[ 0] TSC:3593305 kHz BUS:99814 kHz (measured) [ 0] CORE:0:0:0 15:38:1:0 [0] AMD CPU booted by SABLE [ 3] CORE:0:3:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 1] CORE:0:1:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 2] CORE:0:2:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G
********************* Without SABLE *** (18.02 x86_32) *********************
NOVA Microhypervisor v7-9b24eb4 (x86_32): May 3 2018 13:49:08 [gcc 6.3.0] [MBI] [ 0] TSC:3593301 kHz BUS:99813 kHz (measured) [ 0] CORE:0:0:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 1] CORE:0:1:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 2] CORE:0:2:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 3] CORE:0:3:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G Hypervisor features SVM 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 27 memory descriptors: core image [00100000,0032a000) binaries region [0022f000,0032a000) free for reuse detected physical memory: 0x00000000 - size: 0x0009e800 use physical memory: 0x00000000 - size: 0x0009e000 detected physical memory: 0x00100000 - size: 0xac722000 use physical memory: 0x00100000 - size: 0xac722000 detected physical memory: 0xadb93000 - size: 0x00001000 use physical memory: 0xadb93000 - size: 0x00001000 detected physical memory: 0xadd9a000 - size: 0x00156000 use physical memory: 0xadd9a000 - size: 0x00156000 detected physical memory: 0xae825000 - size: 0x0004b000 use physical memory: 0xae825000 - size: 0x0004b000 detected physical memory: 0xaeff1000 - size: 0x0000f000 use physical memory: 0xaeff1000 - size: 0x0000f000 detected physical memory: 0x00000000 - size: 0x40000000 ROM modules: ROM: [003eb000,003eb156) config ROM: [00001000,00002000) core_log ROM: [00101000,00102000) hypervisor_info_page ROM: [003ec000,0042d238) init ROM: [00339000,003eabb8) ld.lib.so ROM: [03401000,03402000) platform_info ROM: [00333000,00338e4c) test-log
Genode 18.02-20-g1f7b5e7 <local changes> 2722 MiB RAM and 63829 caps assigned to init [init -> test-log] hex range: [0e00,1680) [init -> test-log] empty hex range: [0abc0000,0abc0000) (empty!) [init -> test-log] hex range to limit: [f8,ff] [init -> test-log] invalid hex range: [f8,08) (overflow!) [init -> test-log] negative hex char: 0xfe [init -> test-log] positive hex char: 0x02 [init -> test-log] multiarg string: "parent -> child.7" [init -> test-log] String(Hex(3)): 0x3 [init -> test-log] Very long messages: [init -> test-log -> log] 1.....................................................................................................................................................................................................................................2 [init -> test-log] 3.....................................................................................................................................................................................................................................4 [init -> test-log] 5.....................................................................................................................................................................................................................................6 [init -> test-log] [init -> test-log] Test done.
********************************** Genode/seL4 Demo 17.05 *** **********************************
Parsing GRUB physical memory map Physical Memory Region from 0 size 9e000 type 1 Physical Memory Region from 9e000 size 2000 type 2
Physical Memory Region from e0000 size 20000 type 2
Physical Memory Region from 100000 size ac722000 type 1 Adding physical memory region 0x100000-0x1fc00000 Physical Memory Region from ac822000 size a23000 type 2
Physical Memory Region from ad245000 size 69000 type 3
Physical Memory Region from ad2ae000 size 4b5000 type 4
Physical Memory Region from ad763000 size 430000 type 2
Physical Memory Region from adb93000 size 1000 type 1 Physical Memory Region from adb94000 size 206000 type 4
Physical Memory Region from add9a000 size 156000 type 1 Physical Memory Region from adef0000 size 935000 type 2
Physical Memory Region from ae825000 size 4b000 type 1 Physical Memory Region from ae870000 size 781000 type 2
Physical Memory Region from aeff1000 size f000 type 1 Physical Memory Region from e0000000 size 10000000 type 2
Physical Memory Region from feb80000 size 82000 type 2
Physical Memory Region from fec10000 size 1000 type 2
Physical Memory Region from fed00000 size 1000 type 2
Physical Memory Region from fed40000 size 5000 type 2
Physical Memory Region from fed80000 size 10000 type 2
Physical Memory Region from ff000000 size 1000000 type 2 Physical Memory Region from 0 size 40000000 type 1
Kernel loaded to: start=0x100000 end=0x143000 size=0x43000 entry=0x10003e ACPI: RSDP paddr=0xf0490 ACPI: RSDP vaddr=0xdfcf0490 ACPI: RSDT paddr=0xad269028 ACPI: RSDT vaddr=0xdfe69028 ACPI: MADT paddr=0xad2764a8 ACPI: MADT vaddr=0xdfe764a8 ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_APIC apic_id=0x10 ACPI: MADT_APIC apic_id=0x11 ACPI: MADT_APIC apic_id=0x12 ACPI: MADT_APIC apic_id=0x13 ACPI: MADT_IOAPIC ioapic_id=0 ioapic_addr=0xfec00000 gsib=0 ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec01000 gsib=24 ACPI: Not recording this IOAPIC, only support 1 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0 ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xf ACPI: 4 CPU(s) detected Detected 4 CPUs. Only just 1 Detected 1 boot module(s): module #0: start=0x14c000 end=0x7fb374 size=0x6af374 name='' ELF-loading userland images from boot modules: size=0xdff000 v_entry=0x2000000 v_start=0x2000000 v_end=0x2dff000 p_start=0x7fc000 p_end=0x15fb000 Moving loaded userland images to final location: from=0x7fc000 to=0x143000 size=0xdff000 PCI: Detected device @ bus=0x0 dev=0x0 fun=0x0: vid=0x1022 did=0x1422 type=normal PCI: Detected device @ bus=0x0 dev=0x0 fun=0x2: vid=0x1022 did=0x1423 type=normal PCI: Detected device @ bus=0x0 dev=0x1 fun=0x0: vid=0x1002 did=0x130f type=normal PCI: BAR[0] address=0xc0000000 size=0x10000000 PCI: BAR[2] address=0xd0000000 size=0x800000 PCI: BAR[4] ignored: PCI IO space not supported PCI: BAR[5] address=0xfeb00000 size=0x40000 PCI: Detected device @ bus=0x0 dev=0x1 fun=0x1: vid=0x1002 did=0x1308 type=normal PCI: BAR[0] address=0xfeb64000 size=0x4000 PCI: Detected device @ bus=0x0 dev=0x2 fun=0x0: vid=0x1022 did=0x1424 type=normal PCI: Detected device @ bus=0x0 dev=0x3 fun=0x0: vid=0x1022 did=0x1424 type=normal PCI: Detected device @ bus=0x0 dev=0x4 fun=0x0: vid=0x1022 did=0x1424 type=normal PCI: Detected device @ bus=0x0 dev=0x10 fun=0x0: vid=0x1022 did=0x7814 type=normal PCI: BAR[0] address=0xfeb6a000 size=0x2000 PCI: Detected device @ bus=0x0 dev=0x10 fun=0x1: vid=0x1022 did=0x7814 type=normal PCI: BAR[0] address=0xfeb68000 size=0x2000 PCI: Detected device @ bus=0x0 dev=0x11 fun=0x0: vid=0x1022 did=0x7801 type=normal PCI: BAR[0] ignored: PCI IO space not supported PCI: BAR[1] ignored: PCI IO space not supported PCI: BAR[2] ignored: PCI IO space not supported PCI: BAR[3] ignored: PCI IO space not supported PCI: BAR[4] ignored: PCI IO space not supported PCI: BAR[5] address=0xfeb70000 size=0x1000 PCI: Detected device @ bus=0x0 dev=0x12 fun=0x0: vid=0x1022 did=0x7807 type=normal PCI: BAR[0] address=0xfeb6f000 size=0x1000 PCI: Detected device @ bus=0x0 dev=0x12 fun=0x2: vid=0x1022 did=0x7808 type=normal PCI: BAR[0] address=0xfeb6e000 size=0x1000 PCI: Detected device @ bus=0x0 dev=0x13 fun=0x0: vid=0x1022 did=0x7807 type=normal PCI: BAR[0] address=0xfeb6d000 size=0x1000 PCI: Detected device @ bus=0x0 dev=0x13 fun=0x2: vid=0x1022 did=0x7808 type=normal PCI: BAR[0] address=0xfeb6c000 size=0x1000 PCI: Detected device @ bus=0x0 dev=0x14 fun=0x0: vid=0x1022 did=0x780b type=normal PCI: Detected device @ bus=0x0 dev=0x14 fun=0x2: vid=0x1022 did=0x780d type=normal PCI: BAR[0] address=0xfeb60000 size=0x4000 PCI: Detected device @ bus=0x0 dev=0x14 fun=0x3: vid=0x1022 did=0x780e type=normal PCI: Detected device @ bus=0x0 dev=0x14 fun=0x4: vid=0x1022 did=0x780f type=bridge PCI: Detected device @ bus=0x0 dev=0x15 fun=0x0: vid=0x1022 did=0x43a0 type=bridge PCI: Detected device @ bus=0x0 dev=0x15 fun=0x2: vid=0x1022 did=0x43a2 type=bridge PCI: Detected device @ bus=0x0 dev=0x18 fun=0x0: vid=0x1022 did=0x141a type=normal PCI: Detected device @ bus=0x0 dev=0x18 fun=0x1: vid=0x1022 did=0x141b type=normal PCI: Detected device @ bus=0x0 dev=0x18 fun=0x2: vid=0x1022 did=0x141c type=normal PCI: Detected device @ bus=0x0 dev=0x18 fun=0x3: vid=0x1022 did=0x141d type=normal PCI: Detected device @ bus=0x0 dev=0x18 fun=0x4: vid=0x1022 did=0x141e type=normal PCI: Detected device @ bus=0x0 dev=0x18 fun=0x5: vid=0x1022 did=0x141f type=normal PCI: Detected device @ bus=0x3 dev=0x0 fun=0x0: vid=0x10ec did=0x8168 type=normal PCI: BAR[0] ignored: PCI IO space not supported PCI: BAR[2] address=0xfea18000 size=0x1000 PCI: BAR[4] address=0xfea10000 size=0x4000 PCI: Detected device @ bus=0x3 dev=0x0 fun=0x1: vid=0x10ec did=0x816a type=normal PCI: BAR[0] ignored: PCI IO space not supported PCI: BAR[2] address=0xfea17000 size=0x1000 PCI: BAR[4] address=0xfea0c000 size=0x4000 PCI: Detected device @ bus=0x3 dev=0x0 fun=0x2: vid=0x10ec did=0x816b type=normal PCI: BAR[0] ignored: PCI IO space not supported PCI: BAR[2] address=0xfea16000 size=0x1000 PCI: BAR[4] address=0xfea08000 size=0x4000 PCI: Detected device @ bus=0x3 dev=0x0 fun=0x3: vid=0x10ec did=0x816c type=normal PCI: BAR[0] ignored: PCI IO space not supported PCI: BAR[2] address=0xfea15000 size=0x1000 PCI: BAR[4] address=0xfea04000 size=0x4000 PCI: Detected device @ bus=0x3 dev=0x0 fun=0x4: vid=0x10ec did=0x816d type=normal PCI: BAR[0] address=0xfea14000 size=0x1000 PCI: BAR[2] address=0xfea00000 size=0x4000 Starting node #0 core image: virtual address range [02000000,02e00000) size=0xe00000 VM area at [00002000,c0000000) :phys_alloc: Allocator 0x282b218 dump: Block: [00100000,00101000) size=4K avail=0 max_avail=0 Block: [00101000,00102000) size=4K avail=0 max_avail=0 Block: [00102000,00103000) size=4K avail=0 max_avail=0 Block: [00103000,00104000) size=4K avail=0 max_avail=0 Block: [00104000,00105000) size=4K avail=0 max_avail=0 Block: [00105000,00106000) size=4K avail=0 max_avail=0 Block: [00106000,00107000) size=4K avail=0 max_avail=0 Block: [00107000,00108000) size=4K avail=0 max_avail=0 Block: [00108000,00109000) size=4K avail=0 max_avail=0 Block: [00109000,0010a000) size=4K avail=0 max_avail=0 Block: [0010a000,0010b000) size=4K avail=0 max_avail=0 Block: [00f42000,00f43000) size=4K avail=0 max_avail=0 Block: [00f43000,00f44000) size=4K avail=0 max_avail=0 Block: [00f44000,00f45000) size=4K avail=0 max_avail=0 Block: [00f45000,00f46000) size=4K avail=0 max_avail=0 Block: [00f46000,00f47000) size=4K avail=0 max_avail=0 Block: [00f47000,00f48000) size=4K avail=0 max_avail=0 Block: [00f48000,00f49000) size=4K avail=0 max_avail=0 Block: [00f49000,00f4a000) size=4K avail=0 max_avail=0 Block: [00f4a000,00f4b000) size=4K avail=0 max_avail=0 Block: [00f4b000,00f4c000) size=4K avail=0 max_avail=0 Block: [00f4c000,00f4d000) size=4K avail=0 max_avail=0 Block: [00f4d000,00f4e000) size=4K avail=0 max_avail=0 Block: [00f4e000,00f4f000) size=4K avail=0 max_avail=458748K Block: [00f4f000,00f50000) size=4K avail=0 max_avail=0 Block: [00f50000,00f51000) size=4K avail=0 max_avail=0 Block: [00f51000,00f52000) size=4K avail=0 max_avail=0 Block: [00f52000,00f53000) size=4K avail=0 max_avail=0 Block: [00f53000,00f54000) size=4K avail=0 max_avail=0 Block: [00f54000,00f55000) size=4K avail=0 max_avail=0 Block: [00f55000,00f56000) size=4K avail=0 max_avail=0 Block: [00f56000,00f57000) size=4K avail=0 max_avail=0 Block: [00f57000,00f58000) size=4K avail=0 max_avail=0 Block: [00f58000,00f59000) size=4K avail=0 max_avail=0 Block: [00f59000,00f5a000) size=4K avail=0 max_avail=0 Block: [00f5a000,00f5b000) size=4K avail=0 max_avail=0 Block: [00f5b000,00f5c000) size=4K avail=0 max_avail=0 Block: [00f5c000,00f5d000) size=4K avail=0 max_avail=0 Block: [00f5d000,00f5e000) size=4K avail=0 max_avail=0 Block: [00f5e000,00f5f000) size=4K avail=0 max_avail=0 Block: [00f5f000,00f60000) size=4K avail=0 max_avail=0 Block: [00f60000,00f61000) size=4K avail=0 max_avail=0 Block: [00f61000,00f62000) size=4K avail=0 max_avail=0 Block: [00f62000,00f63000) size=4K avail=0 max_avail=0 Block: [00f63000,00f64000) size=4K avail=0 max_avail=0 Block: [00f64000,00f65000) size=4K avail=0 max_avail=0 Block: [00f65000,00f66000) size=4K avail=0 max_avail=0 Block: [00f66000,00f67000) size=4K avail=0 max_avail=458748K Block: [00f67000,00f68000) size=4K avail=0 max_avail=0 Block: [00f68000,00f69000) size=4K avail=0 max_avail=0 Block: [00f69000,00f6a000) size=4K avail=0 max_avail=0 Block: [00f6a000,00f6b000) size=4K avail=0 max_avail=0 Block: [00f6b000,00f6c000) size=4K avail=0 max_avail=0 Block: [00f6c000,00f6d000) size=4K avail=0 max_avail=0 Block: [00f6d000,00f6e000) size=4K avail=0 max_avail=0 Block: [00f6e000,00f6f000) size=4K avail=0 max_avail=0 Block: [00f6f000,00f70000) size=4K avail=0 max_avail=0 Block: [00f70000,00f71000) size=4K avail=0 max_avail=0 Block: [00f71000,00f72000) size=4K avail=0 max_avail=0 Block: [00f72000,00f73000) size=4K avail=0 max_avail=458748K Block: [00f73000,00f74000) size=4K avail=0 max_avail=0 Block: [00f74000,00f75000) size=4K avail=0 max_avail=0 Block: [00f75000,00f76000) size=4K avail=0 max_avail=0 Block: [00f76000,00f77000) size=4K avail=0 max_avail=540K Block: [00f77000,00f78000) size=4K avail=0 max_avail=0 Block: [00f78000,00f79000) size=4K avail=0 max_avail=540K Block: [00f79000,01000000) size=540K avail=540K max_avail=540K Block: [02000000,02001000) size=4K avail=0 max_avail=458748K Block: [02001000,1e000000) size=458748K avail=458748K max_avail=458748K Block: [1f400000,1f7e0000) size=3968K avail=3968K max_avail=458748K Block: [1f7f0000,1f7f6000) size=24K avail=24K max_avail=24K => mem_size=474673152 (452 MB) / mem_avail=474398720 (452 MB)
:unused_phys_alloc:Allocator 0x28306d8 dump: Block: [0010b000,00f42000) size=14556K avail=14556K max_avail=14556K Block: [01000000,02000000) size=16M avail=16M max_avail=20M Block: [1e000000,1f400000) size=20M avail=20M max_avail=20M Block: [1f7e0000,1f7f0000) size=64K avail=64K max_avail=2310320K Block: [1f7f6000,ac822000) size=2310320K avail=2310320K max_avail=2310320K Block: [adb93000,adb94000) size=4K avail=4K max_avail=2310320K Block: [add9a000,adef0000) size=1368K avail=1368K max_avail=1368K Block: [ae825000,ae870000) size=300K avail=300K max_avail=2310320K Block: [aeff1000,c0000000) size=278588K avail=278588K max_avail=278588K Block: [d0800000,e0000000) size=248M avail=248M max_avail=2310320K Block: [f0000000,fea00000) size=234M avail=234M max_avail=234M Block: [fea19000,feb00000) size=924K avail=924K max_avail=234M Block: [feb40000,feb60000) size=128K avail=128K max_avail=128K Block: [feb71000,feb80000) size=60K avail=60K max_avail=234M Block: [fec02000,fec10000) size=56K avail=56K max_avail=56K Block: [fec11000,fed00000) size=956K avail=956K max_avail=18880K Block: [fed01000,fed40000) size=252K avail=252K max_avail=252K Block: [fed45000,fed80000) size=236K avail=236K max_avail=18880K Block: [fed90000,ffffffff] size=18880K avail=18880K max_avail=18880K => mem_size=3232894976 (3083 MB) / mem_avail=3232894976 (3083 MB)
:virt_alloc: Allocator 0x282c284 dump: Block: [00002000,02000000) size=32760K avail=32760K max_avail=32760K Block: [02e01000,40000000) size=1001468K avail=1001468K max_avail=1792M Block: [50000000,c0000000) size=1792M avail=1792M max_avail=1792M => mem_size=2938097664 (2801 MB) / mem_avail=2938097664 (2801 MB)
:io_mem_alloc: Allocator 0x282d2fc dump: Block: [00000000,00001000) size=4K avail=4K max_avail=4K Block: [0009e000,00100000) size=392K avail=392K max_avail=19908K Block: [ac822000,adb93000) size=19908K avail=19908K max_avail=19908K Block: [adb94000,add9a000) size=2072K avail=2072K max_avail=264M Block: [adef0000,ae825000) size=9428K avail=9428K max_avail=9428K Block: [ae870000,aeff1000) size=7684K avail=7684K max_avail=264M Block: [c0000000,d0800000) size=264M avail=264M max_avail=264M Block: [e0000000,f0000000) size=256M avail=256M max_avail=264M Block: [fea00000,fea19000) size=100K avail=100K max_avail=100K Block: [feb00000,feb40000) size=256K avail=256K max_avail=256K Block: [feb60000,feb71000) size=68K avail=68K max_avail=68K Block: [feb80000,fec02000) size=520K avail=520K max_avail=264M Block: [fec10000,fec11000) size=4K avail=4K max_avail=4K Block: [fed00000,fed01000) size=4K avail=4K max_avail=64K Block: [fed40000,fed45000) size=20K avail=20K max_avail=64K Block: [fed80000,fed90000) size=64K avail=64K max_avail=64K => mem_size=586756096 (559 MB) / mem_avail=586756096 (559 MB)
boot module 'xray_trigger' (112712 bytes) boot module 'nitlog' (124816 bytes) boot module 'ps2_drv' (110324 bytes) boot module 'report_rom' (101328 bytes) boot module 'acpi_drv' (82264 bytes) boot module 'pointer' (71144 bytes) boot module 'scout' (1703696 bytes) boot module 'testnit' (84060 bytes) boot module 'ld.lib.so' (690196 bytes) boot module 'launchpad.config' (594 bytes) boot module 'nitpicker' (265936 bytes) boot module 'timer' (89608 bytes) boot module 'platform_drv' (261348 bytes) boot module 'config' (6482 bytes) boot module 'fb_drv' (305564 bytes) boot module 'liquid_fb' (248880 bytes) boot module 'status_bar' (114120 bytes) boot module 'launchpad' (740392 bytes) boot module 'sel4' (312776 bytes) boot module 'init' (253968 bytes) boot module 'rom_filter' (86348 bytes) Genode 17.05 452 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 [init] child "timer" announces service "Timer" [init] child "nitpicker_config" announces service "ROM" [init] child "acpi_report_rom" announces service "Report" [init] child "report_rom" announces service "Report" [init -> acpi_drv] Found MADT [init] child "acpi_report_rom" announces service "ROM" [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init] child "report_rom" announces service "ROM" [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 15 [init -> acpi_drv] Found MCFG [init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20 Warning: PD (init -> acpi_drv) cap limit (used=17, limit=19) exceeded during transfer_quota(3) [init -> acpi_drv] resource_request: cap_quota=3 [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 -> acpi_drv] used before freeing emergency=864K [init -> acpi_drv] used after freeing emergency=848K [init] child "acpi_drv" requests resources: cap_quota=3
On Mon, Jun 4, 2018 at 3:53 AM, Christian Helmuth < christian.helmuth@genode-labs.com> wrote:
Chris,
On Thu, May 31, 2018 at 11:14:02AM -0400, Chris Rothrock wrote:
The build timeframe was less than a month before the 17.08 Genode was released. I was using the 17.05 build which still used the previous NOVA version since NOVA was also updated to v7 when Genode 17.08 was released.
I don't understand this statement and maybe you mix things up here. NOVA changed is version from v6 to v7 in 2014.
I know I can (and have) re-downloaded the 17.05 Genode but is there a possibility of doing the prepare_port from an earlier version of a port (such as NOVA) so that I can reproduce the build that did work? When I
use
the 17.05 and prepare the port, it pulls the newest NOVA and this version actually doesn't work with the older Genode source code.
If you want to use an older version just check out the appropriate Git revision of Genode and run prepare_port for the ports needed. The port mechanism will take care to retrieve the proper port revision for the checked-out Genode revision. Please don't get distracted by the nova port fetching the current Git, it also checks out the proper revision on prepare_port.
Regards
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users