Hi Philipp,
Thank you very much for the advice you provided. I have changed it to 512M. It now runs without errors, but it gets stuck at:
*vm1 | [ 1.753286] Freeing unused kernel memory: 1344K.* Regards, Qiang
=> fatload mmc 0 0x8000e000 l4re_uvmm-io.uimage 46235855 bytes read in 1972 ms (22.4 MiB/s) => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb1 54149 bytes read in 16 ms (3.2 MiB/s) => bootm 0x8000e000 - 0x80000000 ## Booting kernel from Legacy Image at 8000e000 ... Image Name: L4 Image #27 Image Type: AArch64 Linux Kernel Image (uncompressed) Data Size: 46235791 Bytes = 44.1 MiB Load Address: 91000000 Entry Point: 91000000 Verifying Checksum ... OK ## Flattened Device Tree blob at 80000000 Booting using the fdt blob at 0x80000000 Loading Kernel Image Using Device Tree in place at 0000000080000000, end 0000000080010384 fixup: pfe0 set to 00:01:be:be:ef:11 fixup: pfe1 set to 00:01:be:be:ef:22 fixup: pfe2 set to 00:01:be:be:ef:33
Starting kernel ...
L4 Bootstrapper Build: #27 Fri Feb 21 10:21:53 CST 2025, 11.4.0 RAM: 0000000080000000 - 00000000ffffffff: 2097152kB RAM: 0000000880000000 - 00000008dfffffff: 1572864kB Total RAM: 3584MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 15 modules behind 81300000 moving module 00 { 9101f000-910e5fe7 } -> { 8600a000-860d0fe7 } [815080] moving module 01 { 910e6000-910ebcd7 } -> { 860d1000-860d6cd7 } [23768] moving module 02 { 910ec000-9111e6cf } -> { 860d7000-861096cf } [206544] moving module 03 { 9111f000-9121258f } -> { 8610a000-861fd58f } [996752] moving module 04 { 91213000-9122e537 } -> { 861fe000-86219537 } [111928] moving module 05 { 9122f000-912b7aa7 } -> { 8621a000-862a2aa7 } [559784] moving module 06 { 912b8000-912c5384 } -> { 862a3000-862b0384 } [54149] moving module 07 { 912c6000-92bd9a52 } -> { 862b1000-87bc4a52 } [26294867] moving module 08 { 92bda000-92bdb218 } -> { 87bc5000-87bc6218 } [4633] moving module 09 { 92bdc000-92bdc29a } -> { 87bc7000-87bc729a } [667] moving module 10 { 92bdd000-939bd807 } -> { 87bc8000-889a8807 } [14551048] moving module 11 { 939be000-93a03faf } -> { 889a9000-889eefaf } [286640] moving module 12 { 93a04000-93c16a87 } -> { 889ef000-88c01a87 } [2173576] moving module 13 { 93c17000-93c171f7 } -> { 88c02000-88c021f7 } [504] moving module 14 { 93c18000-93c1808e } -> { 88c03000-88c0308e } [143] Loading fiasco found node 0 kernel info page (via ELF) at 0x80203000 Loading sigma0 Loading moe found node 0 kernel options (via ELF) at 0x80204000 Sigma0 config node: 0 ip:860003f4 Roottask config node: 0 ip:80841904 Regions of list 'regions' [ 34000000, 3407ffff] { 80000} Arch pfebufs@34000000 [ 34080000, 3409ffff] { 20000} Arch pfebufs@34080000 [ 80000000, 8000dfff] { e000} Root dtb [ 8000e000, 8000efff] { 1000} Root mbi_rt [ 80201000, 80205847] { 4848} Kern fiasco [ 80400000, 8061dfff] { 21e000} Kern fiasco [ 80840000, 8087d817] { 3d818} Root moe [ 83200000, 835dffff] { 3e0000} Arch pfebufs@83200000 [ 835e0000, 835fffff] { 20000} Arch pfebufs@835e0000 [ 84000000, 843fffff] { 400000} Arch shm@84000000 [ 85000000, 85000fff] { 1000} Arch ddr@85000000 [ 86000000, 8600946f] { 9470} Sigma0 sigma0 [ 8610a000, 88c0308e] { 2af908f} Root Module [ 91000158, 91000187] { 30} Root cpu_boot [ 9101e1d0, 9101ecdc] { b0d} Boot modinfo [ c0000000, c03fffff] { 400000} Arch shm@c0000000 [ c0400000, c07fffff] { 400000} Arch shm@c0400000 [ d0000000, d000007f] { 80} Arch shm@d0000000 [ d0000080, d00000ff] { 80} Arch shm@d0000080 [ ff800000, ff9fffff] { 200000} Arch atf@ff800000 Starting kernel fiasco at 80201190 Hello from Startup::stage2 Reserved 216 MiB as kernel memory. Number of IRQs available at this GIC: 576 CPU0: GIC Redistributor at ffff00480000 for 0x0 Detecting PSCI ... Detected PSCI v1.1 PSCI: CPU_SUSPEND format original v0.2, does not support OS-initiated mode PSCI: TOS: Not present or not required. FPU: Initialize ARM generic timer: freq=5000000 interval=5000 cnt=1137745716 SERIAL ESC: allocated IRQ 114 for serial uart Not using serial hack in slow timer handler. Welcome to the L4Re Microkernel! L4Re Microkernel on arm-64 Rev: unknown compiled with gcc 11.4.0 for NXP S32G [] Build: #12 Tue Feb 18 14:17:13 CST 2025
Cache config: ON CPU1: GIC Redistributor at ffff004a0000 for 0x1 CPU1: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 ID_MMFR[04]: 00001122 00000000 00000000 00000000 CPU2: GIC Redistributor at ffff004c0000 for 0x100 CPU2: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 ID_MMFR[04]: 00001122 00000000 00000000 00000000 CPU3: GIC Redistributor at ffff004e0000 for 0x101 Calibrating timer loop... CPU3: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 ID_MMFR[04]: 00001122 00000000 00000000 00000000 Timer calibration done. MDB: use page size: 30 MDB: use page size: 21 MDB: use page size: 12 SIGMA0: Hello! KIP @ 80203000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:---:80000000;8000dfff] [4:RWX:8000e000;8000efff] [0:RWX:8000f000;80200fff] [0:RWX:80206000;803fffff] [0:RWX:8061e000;8083ffff] [4:RWX:80840000;8087dfff] [0:RWX:8087e000;831fffff] [0:RWX:83600000;83ffffff] [0:RWX:84400000;84ffffff] [0:RWX:85001000;85ffffff] [0:RWX:8600a000;86109fff] [4:RWX:8610a000;88c03fff] [0:RWX:88c04000;90ffffff] [4:---:91000000;91000fff] [0:RWX:91001000;bfffffff] [0:RWX:c0800000;cfffffff] [0:RWX:d0001000;ff7fffff] [0:RWX:ffa00000;ffffffff] [0:RWX:880000000;8d27fffff] IOMEM:---------------------- [0:RW-:0;7fffffff] [0:RW-:83200000;835fffff] [0:RW-:84000000;843fffff] [0:RW-:85000000;85000fff] [0:RW-:c0000000;c07fffff] [0:RW-:d0000000;d0000fff] [0:RW-:ff800000;ff9fffff] [0:RW-:100000000;87fffffff] [0:RW-:8e0000000;ffffffffffffffff] MOE: Hello world MOE: found 3383848 KByte free memory MOE: found RAM from 8000f000 to 8d2800000 MOE: allocated 34088 KByte for the page array @0x8087e000 MOE: virtual user address space [0-ffffffffff] MOE: cmdline: moe rom/uvmm-io.ned MOE: rom name space cap -> [C:103000] MOE: rwfs name space cap -> [C:105000] ROMFS: [8610a000-861fd590] [C:107000] uvmm ROMFS: [861fe000-86219538] [C:109000] l4re ROMFS: [8621a000-862a2aa8] [C:10b000] ned ROMFS: [862a3000-862b0385] [C:10d000] s32g2xxa-evb.dtb1 ROMFS: [862b1000-87bc4a53] [C:10f000] fsl-image-dom0less-s32g274aevb.cpio.gz ROMFS: [87bc5000-87bc6219] [C:111000] vmm.lua ROMFS: [87bc7000-87bc729b] [C:113000] uvmm-io.ned ROMFS: [87bc8000-889a8808] [C:115000] Image ROMFS: [889a9000-889eefb0] [C:117000] cons ROMFS: [889ef000-88c01a88] [C:119000] io ROMFS: [88c02000-88c021f8] [C:11b000] io.cfg ROMFS: [88c03000-88c0308f] [C:11d000] vm_hw.vbus ROMFS: [80000000-8000e000] [C:11f000] .fdt MOE: Starting: rom/ned rom/uvmm-io.ned MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/uvmm-io.ned' Console Server cons> Created vcon channel: io [420010] cons> io | Io service io | Verboseness level: 7 io | unused physical memory space:
Created vcon channel: vm1 [421010] cons> io | [00000000000000-00000033ffffff]
Created vcon channel: mon1 [422010] cons> io | [000000340a0000-0000007fffffff] io | [00000100000000-0000087fffffff] io | [000008e0000000-ffffffffffffffff] io | no 'iommu' capability found, using CPU-phys for DMA io | Loading: config 'rom/io.cfg' io | Loading: config 'rom/vm_hw.vbus' io | Add IRQ resources to vbus: IRQ [00000000000007-00000000000007 1] level high (align=0 flags=300001) io | Add IRQ resources to vbus: IRQ [00000000000079-00000000000079 1] raising edge (align=0 flags=100001) io | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE] io | Resources: ==== start ==== io | Resources: ===== end ===== io | L4ICU: [N2Vi6Sw_icuE] io | Resources: ==== start ==== io | Resources: ===== end ===== io | PMU: [N2Vi9Proxy_devE] io | Resources: ==== start ==== io | IRQ [00000000000007-00000000000007 1] level high (align=0 flags=300001) io | Resources: ===== end ===== io | UART0: [N2Vi9Proxy_devE] io | Resources: ==== start ==== io | IRQ [00000000000079-00000000000079 1] raising edge (align=0 flags=100001) io | IOMEM [00000000002000-00000000003000 1001] 32-bit non-pref (align=1000 flags=300002) io | Resources: ===== end ===== io | Real Hardware ----------------------------------- io | System Bus: io | Resources: ==== start ==== io | DMADOM [00000000000000-00000000000000 1] (align=0 flags=6) io | Resources: ===== end ===== io | pmu: io | compatible= { "arm,armv8-pmuv3" } io | Clients: ===== start ==== io | PMU: [N2Vi9Proxy_devE] io | Clients: ===== end ==== io | Resources: ==== start ==== io | IRQ [00000000000007-00000000000007 1] level high (align=0 flags=300001) io | Resources: ===== end ===== io | uart0: io | compatible= { "arm,pl011" } io | Clients: ===== start ==== io | UART0: [N2Vi9Proxy_devE] io | Clients: ===== end ==== io | Resources: ==== start ==== io | IRQ [00000000000079-00000000000079 1] raising edge (align=0 flags=100001) io | IOMEM [00000000002000-00000000003000 1001] 32-bit non-pref (align=1000 flags=300002) io | Resources: ===== end ===== io | warning: could not register control interface at cap 'platform_ctl' io | Ready. Waiting for request. io | vbus vm_hw does not support a global DMA domain vm1 | VMM[main]: Hello out there. vm1 | VMM[ram]: No memory nodes found, setting up default region vm1 | Command line: console=ttyAMA0 earlyprintk=1 rdinit=/init vm1 | VMM[]: virtio_net@10000.l4vmm,virtiocap: capability net is invalid. vm1 | VMM[vm]: Device creation for virtual device virtio_net@10000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pmu' IRQ 23. vm1 | VMM[vm]: Device creation for pmu failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0000000'.reg[0] (0xc0000000-0xc03fffff). vm1 | VMM[vm]: Device creation for shm@c0000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0400000'.reg[0] (0xc0400000-0xc07fffff). vm1 | VMM[vm]: Device creation for shm@c0400000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000000'.reg[0] (0xd0000000-0xd000007f). vm1 | VMM[vm]: Device creation for shm@d0000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000080'.reg[0] (0xd0000080-0xd00000ff). vm1 | VMM[vm]: Device creation for shm@d0000080 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@84000000'.reg[0] (0x84000000-0x843fffff). vm1 | VMM[vm]: Device creation for shm@84000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@34000000'.reg[0] (0x34000000-0x3407ffff). vm1 | VMM[vm]: Device creation for pfebufs@34000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@34080000'.reg[0] (0x34080000-0x3409ffff). vm1 | VMM[vm]: Device creation for pfebufs@34080000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@83200000'.reg[0] (0x83200000-0x835dffff). vm1 | VMM[vm]: Device creation for pfebufs@83200000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@835e0000'.reg[0] (0x835e0000-0x835fffff). vm1 | VMM[vm]: Device creation for pfebufs@835e0000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr@85000000'.reg[0] (0x85000000-0x85000fff). vm1 | VMM[vm]: Device creation for ddr@85000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'scmi' IRQ 332. vm1 | VMM[vm]: Device creation for scmi failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'rtc@40060000'.reg[0] (0x40060000-0x40060fff). vm1 | VMM[vm]: Device creation for rtc@40060000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'syscon@4007c000'.reg[0] (0x4007c000-0x4007c0ff). vm1 | VMM[vm]: Device creation for syscon@4007c000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr_gpr@4007c600'.reg[0] (0x4007c600-0x4007c61f). vm1 | VMM[vm]: Device creation for ddr_gpr@4007c600 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'nvram@4009c000'.reg[0] (0x4009c000-0x4009c00f). vm1 | VMM[vm]: Device creation for nvram@4009c000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'siul2-pinctrl@4009c240'.reg[0] (0x4009c240-0x4009c3d7). vm1 | VMM[vm]: Device creation for siul2-pinctrl@4009c240 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'siul2-gpio@4009d700'.reg[0] (0x4009d700-0x4009d70f). vm1 | VMM[vm]: Device creation for siul2-gpio@4009d700 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'nvram@44010000'.reg[0] (0x44010000-0x4401000f). vm1 | VMM[vm]: Device creation for nvram@44010000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'ocotp@400a4000'.reg[0] (0x400a4000-0x400a43ff). vm1 | VMM[vm]: Device creation for ocotp@400a4000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'tmu@400a8000'.reg[0] (0x400a8000-0x400aafff). vm1 | VMM[vm]: Device creation for tmu@400a8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@4010c000'.reg[0] (0x4010c000-0x4010cfff). vm1 | VMM[vm]: Device creation for watchdog@4010c000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@4011c000'.reg[0] (0x4011c000-0x4011efff). vm1 | VMM[vm]: Device creation for stm@4011c000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40120000'.reg[0] (0x40120000-0x40122fff). vm1 | VMM[vm]: Device creation for stm@40120000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@40134000'.reg[0] (0x0-0x1fffffff). vm1 | VMM[vm]: Device creation for spi@40134000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'dma-controller@40144000'.reg[0] (0x40144000-0x40167fff). vm1 | VMM[vm]: Device creation for dma-controller@40144000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40188000'.reg[0] (0x40188000-0x4018afff). vm1 | VMM[vm]: Device creation for pit@40188000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'mscm@40198000'.reg[0] (0x40198000-0x40198fff). vm1 | VMM[vm]: Device creation for mscm@40198000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'flexcan@401b4000'.reg[0] (0x401b4000-0x401bdfff). vm1 | VMM[vm]: Device creation for flexcan@401b4000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'serial@401c8000'.reg[0] (0x401c8000-0x401cafff). vm1 | VMM[vm]: Device creation for serial@401c8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'serial@401cc000'.reg[0] (0x401cc000-0x401cefff). vm1 | VMM[vm]: Device creation for serial@401cc000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@401d8000'.reg[0] (0x401d8000-0x401d8fff). vm1 | VMM[vm]: Device creation for spi@401d8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e4000'.reg[0] (0x401e4000-0x401e4fff). vm1 | VMM[vm]: Device creation for i2c@401e4000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e8000'.reg[0] (0x401e8000-0x401e8fff). vm1 | VMM[vm]: Device creation for i2c@401e8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401ec000'.reg[0] (0x401ec000-0x401ecfff). vm1 | VMM[vm]: Device creation for i2c@401ec000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@401f4000'.reg[0] (0x401f4000-0x401f4fff). vm1 | VMM[vm]: Device creation for pwm@401f4000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@401f8000'.reg[0] (0x401f8000-0x401f8fff). vm1 | VMM[vm]: Device creation for adc@401f8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@40200000'.reg[0] (0x40200000-0x40200fff). vm1 | VMM[vm]: Device creation for watchdog@40200000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@40204000'.reg[0] (0x40204000-0x40204fff). vm1 | VMM[vm]: Device creation for watchdog@40204000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@40208000'.reg[0] (0x40208000-0x40208fff). vm1 | VMM[vm]: Device creation for watchdog@40208000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu0b@40210000'.reg[0] (0x40210000-0x40210fff). vm1 | VMM[vm]: Device creation for mu0b@40210000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu1b@40211000'.reg[0] (0x40211000-0x40211fff). vm1 | VMM[vm]: Device creation for mu1b@40211000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu2b@40212000'.reg[0] (0x40212000-0x40212fff). vm1 | VMM[vm]: Device creation for mu2b@40212000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu3b@40213000'.reg[0] (0x40213000-0x40213fff). vm1 | VMM[vm]: Device creation for mu3b@40213000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40228000'.reg[0] (0x40228000-0x4022afff). vm1 | VMM[vm]: Device creation for stm@40228000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'dma-controller@40244000'.reg[0] (0x40244000-0x40267fff). vm1 | VMM[vm]: Device creation for dma-controller@40244000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40288000'.reg[0] (0x40288000-0x4028afff). vm1 | VMM[vm]: Device creation for pit@40288000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'flexcan@402a8000'.reg[0] (0x402a8000-0x402b1fff). vm1 | VMM[vm]: Device creation for flexcan@402a8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'flexcan@402b2000'.reg[0] (0x402b2000-0x402bbfff). vm1 | VMM[vm]: Device creation for flexcan@402b2000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'serial@402bc000'.reg[0] (0x402bc000-0x402befff). vm1 | VMM[vm]: Device creation for serial@402bc000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@402d0000'.reg[0] (0x402d0000-0x402d0fff). vm1 | VMM[vm]: Device creation for spi@402d0000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@402dc000'.reg[0] (0x402dc000-0x402dcfff). vm1 | VMM[vm]: Device creation for i2c@402dc000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@402e4000'.reg[0] (0x402e4000-0x402e4fff). vm1 | VMM[vm]: Device creation for pwm@402e4000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@402e8000'.reg[0] (0x402e8000-0x402e8fff). vm1 | VMM[vm]: Device creation for adc@402e8000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'mmc@402f0000'.reg[0] (0x402f0000-0x402f0fff). vm1 | VMM[vm]: Device creation for mmc@402f0000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'fccu@4030c000'.reg[0] (0x4030c000-0x4030efff). vm1 | VMM[vm]: Device creation for fccu@4030c000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'ethernet@4033c000'.reg[0] (0x4033c000-0x4033dfff). vm1 | VMM[vm]: Device creation for ethernet@4033c000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr_errata@403c0000'.reg[0] (0x403c0000-0x403c00ff). vm1 | VMM[vm]: Device creation for ddr_errata@403c0000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr-perf@403e0000'.reg[0] (0x403e0000-0x403e00ff). vm1 | VMM[vm]: Device creation for ddr-perf@403e0000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@40400000'.reg[0] (0x40400000-0x40400fff). vm1 | VMM[vm]: Device creation for pcie@40400000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'serdes@40480000'.reg[0] (0x40480000-0x40480107). vm1 | VMM[vm]: Device creation for serdes@40480000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@44100000'.reg[0] (0x44100000-0x44100fff). vm1 | VMM[vm]: Device creation for pcie@44100000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'serdes@44180000'.reg[0] (0x44180000-0x44180107). vm1 | VMM[vm]: Device creation for serdes@44180000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfe@46000000'.reg[0] (0x46000000-0x46ffffff). vm1 | VMM[vm]: Device creation for pfe@46000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_dte_sram@43000000'.reg[0] (0x43000000-0x43001fff). vm1 | VMM[vm]: Device creation for llce_dte_sram@43000000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_ppe_rx_sram@43100000'.reg[0] (0x43100000-0x43107fff). vm1 | VMM[vm]: Device creation for llce_ppe_rx_sram@43100000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_ppe_tx_sram@43200000'.reg[0] (0x43200000-0x43207fff). vm1 | VMM[vm]: Device creation for llce_ppe_tx_sram@43200000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_frpe_sram@43300000'.reg[0] (0x43300000-0x4330ffff). vm1 | VMM[vm]: Device creation for llce_frpe_sram@43300000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_shmem@43800000'.reg[0] (0x43800000-0x4384ffff). vm1 | VMM[vm]: Device creation for llce_shmem@43800000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce@43a00000'.reg[0] (0x43ff8000-0x43ffbfff). vm1 | VMM[vm]: Device creation for llce@43a00000 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'usbmisc@44064200'.reg[0] (0x44064200-0x440643ff). vm1 | VMM[vm]: Device creation for usbmisc@44064200 failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'usb@44064000'.reg[0] (0x44064000-0x440641ff). vm1 | VMM[vm]: Device creation for usb@44064000 failed. Disabling device. vm1 | VMM[ram]: Cleaning caches for device tree [21ff2000-21fff728] ([b11f2000]) io | new iomem region: p=00000000000000 v=00000000400000 s=400000 (bmb=0x39bc0) io | map mem: p=00000000002000 v=00000000402000 s=2000 uncached: done(0) vm1 | VMM[]: Starting Cpu0 @ 0x91200000 in 64Bit mode (handler @ 1078e08, stack: 801ffba0, task: 420000, mpidr: 80000000 (orig: 80000000) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | VMM[]: Starting Cpu1 @ 0x91ae7254 in 64Bit mode (handler @ 1078e08, stack: 400f20, task: 420000, mpidr: 80000001 (orig: 80000000) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | VMM[]: Starting Cpu2 @ 0x91ae7254 in 64Bit mode (handler @ 1078e08, stack: 5fff20, task: 420000, mpidr: 80000100 (orig: 80000000) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | VMM[]: Starting Cpu3 @ 0x91ae7254 in 64Bit mode (handler @ 1078e08, stack: 7fef20, task: 420000, mpidr: 80000101 (orig: 80000000) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | [ 0.000000] Booting Linux on physical CPU 0x0000000000 [0x410fd034] vm1 | [ 0.000000] Linux version 5.15.119-rt65+ge18f05316cd9 (oe-user@oe-host) (aarch64-fsl-linux-gcc (GCC) 11.3.0, GNU ld (GNU Binutils) 2.38.20220708) #1 SMP PREEMPT Fri Sep 15 16:46:03 UTC 2023 vm1 | [ 0.000000] Machine model: NXP S32G2XXX-EVB vm1 | [ 0.000000] Zone ranges: vm1 | [ 0.000000] DMA [mem 0x0000000091200000-0x00000000b11fffff] vm1 | [ 0.000000] DMA32 empty vm1 | [ 0.000000] Normal empty vm1 | [ 0.000000] Movable zone start for each node vm1 | [ 0.000000] Early memory node ranges vm1 | [ 0.000000] node 0: [mem 0x0000000091200000-0x00000000b11fffff] vm1 | [ 0.000000] Initmem setup node 0 [mem 0x0000000091200000-0x00000000b11fffff] vm1 | [ 0.000000] On node 0, zone DMA: 4608 pages in unavailable ranges vm1 | [ 0.000000] On node 0, zone DMA: 28160 pages in unavailable ranges vm1 | [ 0.000000] cma: Reserved 256 MiB at 0x000000009e800000 vm1 | [ 0.000000] psci: probing for conduit method from DT. vm1 | [ 0.000000] psci: PSCIv1.0 detected in firmware. vm1 | [ 0.000000] psci: Using standard PSCI v0.2 function IDs vm1 | [ 0.000000] psci: Trusted OS migration not required vm1 | [ 0.000000] psci: SMC Calling Convention v1.0 vm1 | [ 0.000000] percpu: Embedded 18 pages/cpu s34200 r8192 d31336 u73728 vm1 | [ 0.000000] Detected VIPT I-cache on CPU0 vm1 | [ 0.000000] CPU features: detected: GIC system register CPU interface vm1 | [ 0.000000] CPU features: detected: ARM erratum 845719 vm1 | [ 0.000000] CPU features: detected: ARM errata 1165522, 1319367, 1530923, or 1530924 vm1 | [ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 129280 vm1 | [ 0.000000] Kernel command line: console=ttyAMA0 earlyprintk=1 rdinit=/init vm1 | [ 0.000000] Unknown kernel command line parameters "earlyprintk=1", will be passed to user space. vm1 | [ 0.000000] Dentry cache hash table entries: 65536 (order: 7, 524288 bytes, linear) vm1 | [ 0.000000] Inode-cache hash table entries: 32768 (order: 6, 262144 bytes, linear) vm1 | [ 0.000000] mem auto-init: stack:off, heap alloc:off, heap free:off vm1 | [ 0.000000] Memory: 207244K/524288K available (9088K kernel code, 642K rwdata, 3036K rodata, 1344K init, 220K bss, 54900K reserved, 262144K cma-reserved) vm1 | [ 0.000000] rcu: Preemptible hierarchical RCU implementation. vm1 | [ 0.000000] rcu: RCU event tracing is enabled. vm1 | [ 0.000000] rcu: RCU restricting CPUs from NR_CPUS=8 to nr_cpu_ids=4. vm1 | [ 0.000000] Trampoline variant of Tasks RCU enabled. vm1 | [ 0.000000] Tracing variant of Tasks RCU enabled. vm1 | [ 0.000000] rcu: RCU calculated value of scheduler-enlistment delay is 25 jiffies. vm1 | [ 0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=4 vm1 | [ 0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0 vm1 | [ 0.000000] GICv3: 988 SPIs implemented vm1 | [ 0.000000] GICv3: 0 Extended SPIs implemented vm1 | [ 0.000000] GICv3: Distributor has no Range Selector support vm1 | [ 0.000000] Root IRQ handler: gic_handle_irq vm1 | [ 0.000000] GICv3: 16 PPIs implemented vm1 | [ 0.000000] GICv3: CPU0: found redistributor 0 region 0:0x0000000050880000 vm1 | [ 0.000000] arch_timer: cp15 timer(s) running at 5.00MHz (virt). vm1 | [ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff max_cycles: 0x127350b88, max_idle_ns: 440795202120 ns vm1 | [ 0.000001] sched_clock: 56 bits at 5MHz, resolution 200ns, wraps every 4398046511100ns vm1 | [ 0.000638] Console: colour dummy device 80x25 vm1 | [ 0.000683] Calibrating delay loop (skipped), value calculated using timer frequency.. 10.00 BogoMIPS (lpj=20000) vm1 | [ 0.000697] pid_max: default: 32768 minimum: 301 vm1 | [ 0.000887] Mount-cache hash table entries: 1024 (order: 1, 8192 bytes, linear) vm1 | [ 0.000899] Mountpoint-cache hash table entries: 1024 (order: 1, 8192 bytes, linear) vm1 | [ 0.002629] rcu: Hierarchical SRCU implementation. vm1 | [ 0.003552] smp: Bringing up secondary CPUs ... vm1 | [ 0.017897] Detected VIPT I-cache on CPU1 vm1 | [ 0.017963] GICv3: CPU1: found redistributor 1 region 0:0x00000000508a0000 vm1 | [ 0.018124] CPU1: Booted secondary processor 0x0000000001 [0x410fd034] vm1 | [ 0.038864] Detected VIPT I-cache on CPU2 vm1 | [ 0.038925] GICv3: CPU2: found redistributor 100 region 0:0x00000000508c0000 vm1 | [ 0.039068] CPU2: Booted secondary processor 0x0000000100 [0x410fd034] vm1 | [ 0.059640] Detected VIPT I-cache on CPU3 vm1 | [ 0.059684] GICv3: CPU3: found redistributor 101 region 0:0x00000000508e0000 vm1 | [ 0.059796] CPU3: Booted secondary processor 0x0000000101 [0x410fd034] vm1 | [ 0.066434] smp: Brought up 1 node, 4 CPUs vm1 | [ 0.066445] SMP: Total of 4 processors activated. vm1 | [ 0.066450] CPU features: detected: 32-bit EL0 Support vm1 | [ 0.066456] CPU features: detected: CRC32 instructions vm1 | [ 0.076601] CPU: All CPU(s) started at EL1 vm1 | [ 0.076655] alternatives: patching kernel code vm1 | [ 0.077714] devtmpfs: initialized vm1 | [ 0.086718] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns vm1 | [ 0.086746] futex hash table entries: 1024 (order: 4, 65536 bytes, linear) vm1 | [ 0.095444] pinctrl core: initialized pinctrl subsystem vm1 | [ 0.096442] NET: Registered PF_NETLINK/PF_ROUTE protocol family vm1 | [ 0.098184] DMA: preallocated 128 KiB GFP_KERNEL pool for atomic allocations vm1 | [ 0.098363] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA pool for atomic allocations vm1 | [ 0.098516] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA32 pool for atomic allocations vm1 | [ 0.098979] thermal_sys: Registered thermal governor 'step_wise' vm1 | [ 0.099686] hw-breakpoint: found 6 breakpoint and 4 watchpoint registers. vm1 | [ 0.100036] ASID allocator initialised with 65536 entries vm1 | [ 0.100142] Serial: AMBA PL011 UART driver vm1 | [ 0.101471] 12000.pl011_uart: ttyAMA0 at MMIO 0x12000 (irq = 14, base_baud = 0) is a PL011 rev3 vm1 | [ 0.101515] printk: console [ttyAMA0] enabled vm1 | [ 0.108150] HugeTLB registered 1.00 GiB page size, pre-allocated 0 pages vm1 | [ 0.108163] HugeTLB registered 32.0 MiB page size, pre-allocated 0 pages vm1 | [ 0.108168] HugeTLB registered 2.00 MiB page size, pre-allocated 0 pages vm1 | [ 0.108175] HugeTLB registered 64.0 KiB page size, pre-allocated 0 pages vm1 | [ 0.110016] vgaarb: loaded vm1 | [ 0.110204] SCSI subsystem initialized vm1 | [ 0.110378] usbcore: registered new interface driver usbfs vm1 | [ 0.110412] usbcore: registered new interface driver hub vm1 | [ 0.110446] usbcore: registered new device driver usb vm1 | [ 0.110742] pps_core: LinuxPPS API ver. 1 registered vm1 | [ 0.110746] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti giometti@linux.it vm1 | [ 0.110761] PTP clock support registered vm1 | [ 0.111890] clocksource: Switched to clocksource arch_sys_counter vm1 | [ 0.120290] NET: Registered PF_INET protocol family vm1 | [ 0.120433] IP idents hash table entries: 8192 (order: 4, 65536 bytes, linear) vm1 | [ 0.120940] tcp_listen_portaddr_hash hash table entries: 256 (order: 0, 4096 bytes, linear) vm1 | [ 0.120958] Table-perturb hash table entries: 65536 (order: 6, 262144 bytes, linear) vm1 | [ 0.120970] TCP established hash table entries: 4096 (order: 3, 32768 bytes, linear) vm1 | [ 0.121009] TCP bind hash table entries: 4096 (order: 4, 65536 bytes, linear) vm1 | [ 0.121084] TCP: Hash tables configured (established 4096 bind 4096) vm1 | [ 0.121170] UDP hash table entries: 256 (order: 1, 8192 bytes, linear) vm1 | [ 0.121192] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes, linear) vm1 | [ 0.121352] NET: Registered PF_UNIX/PF_LOCAL protocol family vm1 | [ 0.122014] RPC: Registered named UNIX socket transport module. vm1 | [ 0.122020] RPC: Registered udp transport module. vm1 | [ 0.122023] RPC: Registered tcp transport module. vm1 | [ 0.122025] RPC: Registered tcp NFSv4.1 backchannel transport module. vm1 | [ 0.122035] PCI: CLS 0 bytes, default 64 vm1 | [ 0.122356] Unpacking initramfs... vm1 | [ 1.620548] Freeing initrd memory: 25676K vm1 | [ 1.625720] workingset: timestamp_bits=62 max_order=17 bucket_order=0 vm1 | [ 1.626779] fuse: init (API version 7.34) vm1 | [ 1.626982] NET: Registered PF_ALG protocol family vm1 | [ 1.627045] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 248) vm1 | [ 1.627052] io scheduler mq-deadline registered vm1 | [ 1.627056] io scheduler kyber registered vm1 | [ 1.631965] vcan: Virtual CAN interface driver vm1 | [ 1.631980] slcan: serial line CAN interface driver vm1 | [ 1.631982] slcan: 10 dynamic interface channels. vm1 | [ 1.631990] CAN device driver interface vm1 | [ 1.632058] e100: Intel(R) PRO/100 Network Driver vm1 | [ 1.632061] e100: Copyright(c) 1999-2006 Intel Corporation vm1 | [ 1.632098] e1000: Intel(R) PRO/1000 Network Driver vm1 | [ 1.632102] e1000: Copyright (c) 1999-2006 Intel Corporation. vm1 | [ 1.632138] e1000e: Intel(R) PRO/1000 Network Driver vm1 | [ 1.632141] e1000e: Copyright(c) 1999 - 2015 Intel Corporation. vm1 | [ 1.632171] igb: Intel(R) Gigabit Ethernet Network Driver vm1 | [ 1.632176] igb: Copyright (c) 2007-2014 Intel Corporation. vm1 | [ 1.632523] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver vm1 | [ 1.632531] ehci-pci: EHCI PCI platform driver vm1 | [ 1.632753] usbcore: registered new interface driver uas vm1 | [ 1.632791] usbcore: registered new interface driver usb-storage vm1 | [ 1.633272] i2c_dev: i2c /dev entries driver vm1 | [ 1.633467] sdhci: Secure Digital Host Controller Interface driver vm1 | [ 1.633470] sdhci: Copyright(c) Pierre Ossman vm1 | [ 1.633472] sdhci-pltfm: SDHCI platform and OF driver helper vm1 | [ 1.633661] usbcore: registered new interface driver usbhid vm1 | [ 1.633666] usbhid: USB HID core driver vm1 | [ 1.634177] NET: Registered PF_INET6 protocol family vm1 | [ 1.635090] Segment Routing with IPv6 vm1 | [ 1.635128] In-situ OAM (IOAM) with IPv6 vm1 | [ 1.635182] sit: IPv6, IPv4 and MPLS over IPv4 tunneling driver vm1 | [ 1.635654] NET: Registered PF_PACKET protocol family vm1 | [ 1.635859] can: controller area network core vm1 | [ 1.635895] NET: Registered PF_CAN protocol family vm1 | [ 1.635900] can: raw protocol vm1 | [ 1.635906] can: broadcast manager protocol vm1 | [ 1.635933] can: netlink gateway - max_hops=1 vm1 | [ 1.635965] 8021q: 802.1Q VLAN Support v1.8 vm1 | [ 1.636238] printk: console [ttyAMA0]: printing thread started vm1 | [ 1.707129] uart-pl011 12000.pl011_uart: no DMA platform data vm1 | [ 1.753286] Freeing unused kernel memory: 1344K
On Thu, Feb 20, 2025 at 9:48 PM Philipp Eppelt < philipp.eppelt@kernkonzept.com> wrote:
Hi Qiang,
I see these lines in the linux boot output, which make me wonder, if the VM has enough RAM:
vm1 | [ 0.000000] cma: Failed to reserve 256 MiB [...] vm1 | [ 0.112053] Unpacking initramfs... vm1 | [ 0.946302] Initramfs unpacking failed: write error vm1 | [ 0.959998] Freeing initrd memory: 25676K
Please increase the amount of RAM for the VM. Currently, your uvmm-io.ned specifies 128MB. Please try 512MB or more.
Cheers, Philipp
Am 20.02.25 um 12:20 PM schrieb qiang xu:
Hi Adam，
I would like to sincerely thank you again for your help. According to
what you
said, I have added the UART to the device tree, and I can now see the
system
startup prints. However, it seems that the kernel cannot find the
rootfs. What
should I configure in L4? Have I missed any configurations?
fatload mmc 0 0x8000e000 l4re_uvmm-io.uimage 46235855 bytes read in 1971 ms (22.4 MiB/s) => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb1 54149 bytes read in 17 ms (3 MiB/s) => bootm 0x8000e000 - 0x80000000 ## Booting kernel from Legacy Image at 8000e000 ... Image Name: L4 Image #26 Image Type: AArch64 Linux Kernel Image (uncompressed) Data Size: 46235791 Bytes = 44.1 MiB Load Address: 91000000 Entry Point: 91000000 Verifying Checksum ... OK ## Flattened Device Tree blob at 80000000 Booting using the fdt blob at 0x80000000 Loading Kernel Image Using Device Tree in place at 0000000080000000, end 0000000080010384 fixup: pfe0 set to 00:01:be:be:ef:11 fixup: pfe1 set to 00:01:be:be:ef:22 fixup: pfe2 set to 00:01:be:be:ef:33
Starting kernel ...
L4 Bootstrapper Build: #26 Thu Feb 20 19:07:32 CST 2025, 11.4.0 RAM: 0000000080000000 - 00000000ffffffff: 2097152kB RAM: 0000000880000000 - 00000008dfffffff: 1572864kB Total RAM: 3584MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 15 modules behind 81300000 moving module 00 { 9101f000-910e5fe7 } -> { 8600a000-860d0fe7 }
[815080]
moving module 01 { 910e6000-910ebcd7 } -> { 860d1000-860d6cd7 }
[23768]
moving module 02 { 910ec000-9111e6cf } -> { 860d7000-861096cf }
[206544]
moving module 03 { 9111f000-9121258f } -> { 8610a000-861fd58f }
[996752]
moving module 04 { 91213000-9122e537 } -> { 861fe000-86219537 }
[111928]
moving module 05 { 9122f000-912b7aa7 } -> { 8621a000-862a2aa7 }
[559784]
moving module 06 { 912b8000-912c5384 } -> { 862a3000-862b0384 }
[54149]
moving module 07 { 912c6000-92bd9a52 } -> { 862b1000-87bc4a52 }
[26294867]
moving module 08 { 92bda000-92bdb218 } -> { 87bc5000-87bc6218 } [4633] moving module 09 { 92bdc000-92bdc29a } -> { 87bc7000-87bc729a } [667] moving module 10 { 92bdd000-939bd807 } -> { 87bc8000-889a8807 }
[14551048]
moving module 11 { 939be000-93a03faf } -> { 889a9000-889eefaf }
[286640]
moving module 12 { 93a04000-93c16a87 } -> { 889ef000-88c01a87 }
[2173576]
moving module 13 { 93c17000-93c171f7 } -> { 88c02000-88c021f7 } [504] moving module 14 { 93c18000-93c1808e } -> { 88c03000-88c0308e } [143] Loading fiasco found node 0 kernel info page (via ELF) at 0x80203000 Loading sigma0 Loading moe found node 0 kernel options (via ELF) at 0x80204000 Sigma0 config node: 0 ip:860003f4 Roottask config node: 0 ip:80841904 Regions of list 'regions' [ 34000000, 3407ffff] { 80000} Arch pfebufs@34000000 [ 34080000, 3409ffff] { 20000} Arch pfebufs@34080000 [ 80000000, 8000dfff] { e000} Root dtb [ 8000e000, 8000efff] { 1000} Root mbi_rt [ 80201000, 80205847] { 4848} Kern fiasco [ 80400000, 8061dfff] { 21e000} Kern fiasco [ 80840000, 8087d817] { 3d818} Root moe [ 83200000, 835dffff] { 3e0000} Arch pfebufs@83200000 [ 835e0000, 835fffff] { 20000} Arch pfebufs@835e0000 [ 84000000, 843fffff] { 400000} Arch shm@84000000 [ 85000000, 85000fff] { 1000} Arch ddr@85000000 [ 86000000, 8600946f] { 9470} Sigma0 sigma0 [ 8610a000, 88c0308e] { 2af908f} Root Module [ 91000158, 91000187] { 30} Root cpu_boot [ 9101e1d0, 9101ecdc] { b0d} Boot modinfo [ c0000000, c03fffff] { 400000} Arch shm@c0000000 [ c0400000, c07fffff] { 400000} Arch shm@c0400000 [ d0000000, d000007f] { 80} Arch shm@d0000000 [ d0000080, d00000ff] { 80} Arch shm@d0000080 [ ff800000, ff9fffff] { 200000} Arch atf@ff800000 Starting kernel fiasco at 80201190 Hello from Startup::stage2 Reserved 216 MiB as kernel memory. Number of IRQs available at this GIC: 576 CPU0: GIC Redistributor at ffff00480000 for 0x0 Detecting PSCI ... Detected PSCI v1.1 PSCI: CPU_SUSPEND format original v0.2, does not support OS-initiated
mode
PSCI: TOS: Not present or not required. FPU: Initialize ARM generic timer: freq=5000000 interval=5000 cnt=339090240 SERIAL ESC: allocated IRQ 114 for serial uart Not using serial hack in slow timer handler. Welcome to the L4Re Microkernel! L4Re Microkernel on arm-64 Rev: unknown compiled with gcc 11.4.0 for NXP S32G [] Build: #12 Tue Feb 18 14:17:13 CST 2025
Cache config: ON CPU1: GIC Redistributor at ffff004a0000 for 0x1 CPU1: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 ID_MMFR[04]: 00001122 00000000 00000000 00000000 CPU2: GIC Redistributor at ffff004c0000 for 0x100 CPU2: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 ID_MMFR[04]: 00001122 00000000 00000000 00000000 CPU3: GIC Redistributor at ffff004e0000 for 0x101 Calibrating timer loop... CPU3: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 ID_MMFR[04]: 00001122 00000000 00000000 00000000 Timer calibration done. MDB: use page size: 30 MDB: use page size: 21 MDB: use page size: 12 SIGMA0: Hello! KIP @ 80203000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:---:80000000;8000dfff] [4:RWX:8000e000;8000efff] [0:RWX:8000f000;80200fff] [0:RWX:80206000;803fffff] [0:RWX:8061e000;8083ffff] [4:RWX:80840000;8087dfff] [0:RWX:8087e000;831fffff] [0:RWX:83600000;83ffffff] [0:RWX:84400000;84ffffff] [0:RWX:85001000;85ffffff] [0:RWX:8600a000;86109fff] [4:RWX:8610a000;88c03fff] [0:RWX:88c04000;90ffffff] [4:---:91000000;91000fff] [0:RWX:91001000;bfffffff] [0:RWX:c0800000;cfffffff] [0:RWX:d0001000;ff7fffff] [0:RWX:ffa00000;ffffffff] [0:RWX:880000000;8d27fffff] IOMEM:---------------------- [0:RW-:0;7fffffff] [0:RW-:83200000;835fffff] [0:RW-:84000000;843fffff] [0:RW-:85000000;85000fff] [0:RW-:c0000000;c07fffff] [0:RW-:d0000000;d0000fff] [0:RW-:ff800000;ff9fffff] [0:RW-:100000000;87fffffff] [0:RW-:8e0000000;ffffffffffffffff] MOE: Hello world MOE: found 3383848 KByte free memory MOE: found RAM from 8000f000 to 8d2800000 MOE: allocated 34088 KByte for the page array @0x8087e000 MOE: virtual user address space [0-ffffffffff] MOE: cmdline: moe rom/uvmm-io.ned MOE: rom name space cap -> [C:103000] MOE: rwfs name space cap -> [C:105000] ROMFS: [8610a000-861fd590] [C:107000] uvmm ROMFS: [861fe000-86219538] [C:109000] l4re ROMFS: [8621a000-862a2aa8] [C:10b000] ned ROMFS: [862a3000-862b0385] [C:10d000] s32g2xxa-evb.dtb1 ROMFS: [862b1000-87bc4a53] [C:10f000]
fsl-image-dom0less-s32g274aevb.cpio.gz
ROMFS: [87bc5000-87bc6219] [C:111000] vmm.lua ROMFS: [87bc7000-87bc729b] [C:113000] uvmm-io.ned ROMFS: [87bc8000-889a8808] [C:115000] Image ROMFS: [889a9000-889eefb0] [C:117000] cons ROMFS: [889ef000-88c01a88] [C:119000] io ROMFS: [88c02000-88c021f8] [C:11b000] io.cfg ROMFS: [88c03000-88c0308f] [C:11d000] vm_hw.vbus ROMFS: [80000000-8000e000] [C:11f000] .fdt MOE: Starting: rom/ned rom/uvmm-io.ned MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/uvmm-io.ned' Console Server cons> Created vcon channel: io [420010] cons> io | Io service io | Verboseness level: 7 io | unused physical memory space:
Created vcon channel: vm1 [421010] cons> io | [00000000000000-00000033ffffff]
Created vcon channel: mon1 [422010] cons> io | [000000340a0000-0000007fffffff] io | [00000100000000-0000087fffffff] io | [000008e0000000-ffffffffffffffff] io | no 'iommu' capability found, using CPU-phys for DMA io | Loading: config 'rom/io.cfg' io | Loading: config 'rom/vm_hw.vbus' io | Add IRQ resources to vbus: IRQ
[00000000000007-00000000000007 1]
level high (align=0 flags=3000) io | Add IRQ resources to vbus: IRQ
[00000000000079-00000000000079 1]
raising edge (align=0 flags=10) io | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE] io | Resources: ==== start ==== io | Resources: ===== end ===== io | L4ICU: [N2Vi6Sw_icuE] io | Resources: ==== start ==== io | Resources: ===== end ===== io | PMU: [N2Vi9Proxy_devE] io | Resources: ==== start ==== io | IRQ [00000000000007-00000000000007 1] level high
(align=0
flags=300001) io | Resources: ===== end ===== io | UART0: [N2Vi9Proxy_devE] io | Resources: ==== start ==== io | IRQ [00000000000079-00000000000079 1] raising edge
(align=0
flags=100001) io | IOMEM [00000000002000-00000000003000 1001] 32-bit
non-pref
(align=1000 flags=300002) io | Resources: ===== end ===== io | Real Hardware ----------------------------------- io | System Bus: io | Resources: ==== start ==== io | DMADOM [00000000000000-00000000000000 1] (align=0 flags=6) io | Resources: ===== end ===== io | pmu: io | compatible= { "arm,armv8-pmuv3" } io | Clients: ===== start ==== io | PMU: [N2Vi9Proxy_devE] io | Clients: ===== end ==== io | Resources: ==== start ==== io | IRQ [00000000000007-00000000000007 1] level high
(align=0
flags=300001) io | Resources: ===== end ===== io | uart0: io | compatible= { "arm,pl011" } io | Clients: ===== start ==== io | UART0: [N2Vi9Proxy_devE] io | Clients: ===== end ==== io | Resources: ==== start ==== io | IRQ [00000000000079-00000000000079 1] raising edge
(align=0
flags=100001) io | IOMEM [00000000002000-00000000003000 1001] 32-bit
non-pref
(align=1000 flags=300002) io | Resources: ===== end ===== io | warning: could not register control interface at cap
'platform_ctl'
io | Ready. Waiting for request. io | vbus vm_hw does not support a global DMA domain vm1 | VMM[main]: Hello out there. vm1 | VMM[ram]: No memory nodes found, setting up default region vm1 | Command line: console=ttyAMA0 earlyprintk=1 rdinit=/init vm1 | VMM[]: virtio_net@10000.l4vmm,virtiocap: capability net is
invalid.
vm1 | VMM[vm]: Device creation for virtual device virtio_net@10000
failed.
Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pmu' IRQ 23. vm1 | VMM[vm]: Device creation for pmu failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0000000'.reg[0]
(0xc0000000-0xc03fffff). vm1 | VMM[vm]: Device creation for shm@c0000000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0400000'.reg[0]
(0xc0400000-0xc07fffff). vm1 | VMM[vm]: Device creation for shm@c0400000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000000'.reg[0]
(0xd0000000-0xd000007f). vm1 | VMM[vm]: Device creation for shm@d0000000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000080'.reg[0]
(0xd0000080-0xd00000ff). vm1 | VMM[vm]: Device creation for shm@d0000080 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@84000000'.reg[0]
(0x84000000-0x843fffff). vm1 | VMM[vm]: Device creation for shm@84000000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@34000000'.reg[0] (0x34000000-0x3407ffff). vm1 | VMM[vm]: Device creation for pfebufs@34000000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@34080000'.reg[0] (0x34080000-0x3409ffff). vm1 | VMM[vm]: Device creation for pfebufs@34080000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@83200000'.reg[0] (0x83200000-0x835dffff). vm1 | VMM[vm]: Device creation for pfebufs@83200000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfebufs@835e0000'.reg[0] (0x835e0000-0x835fffff). vm1 | VMM[vm]: Device creation for pfebufs@835e0000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr@85000000'.reg[0]
(0x85000000-0x85000fff). vm1 | VMM[vm]: Device creation for ddr@85000000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'scmi' IRQ 332. vm1 | VMM[vm]: Device creation for scmi failed. Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'rtc@40060000'.reg[0]
(0x40060000-0x40060fff). vm1 | VMM[vm]: Device creation for rtc@40060000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'syscon@4007c000'.reg[0] (0x4007c000-0x4007c0ff). vm1 | VMM[vm]: Device creation for syscon@4007c000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr_gpr@4007c600'.reg[0] (0x4007c600-0x4007c61f). vm1 | VMM[vm]: Device creation for ddr_gpr@4007c600 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'nvram@4009c000'.reg[0]
(0x4009c000-0x4009c00f). vm1 | VMM[vm]: Device creation for nvram@4009c000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'siul2- pinctrl@4009c240'.reg[0] (0x4009c240-0x4009c3. vm1 | VMM[vm]: Device creation for siul2-pinctrl@4009c240 failed.
Disabling
device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'siul2- gpio@4009d700'.reg[0] (0x4009d700-0x4009d70f). vm1 | VMM[vm]: Device creation for siul2-gpio@4009d700 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'nvram@44010000'.reg[0]
(0x44010000-0x4401000f). vm1 | VMM[vm]: Device creation for nvram@44010000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'ocotp@400a4000'.reg[0]
(0x400a4000-0x400a43ff). vm1 | VMM[vm]: Device creation for ocotp@400a4000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'tmu@400a8000'.reg[0]
(0x400a8000-0x400aafff). vm1 | VMM[vm]: Device creation for tmu@400a8000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@4010c000'.reg[0] (0x4010c000-0x4010cfff). vm1 | VMM[vm]: Device creation for watchdog@4010c000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@4011c000'.reg[0]
(0x4011c000-0x4011efff). vm1 | VMM[vm]: Device creation for stm@4011c000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40120000'.reg[0]
(0x40120000-0x40122fff). vm1 | VMM[vm]: Device creation for stm@40120000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@40134000'.reg[0]
(0x0-0x1fffffff). vm1 | VMM[vm]: Device creation for spi@40134000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'dma- controller@40144000'.reg[0] (0x40144000-0x40167. vm1 | VMM[vm]: Device creation for dma-controller@40144000 failed.
Disabling
device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40188000'.reg[0]
(0x40188000-0x4018afff). vm1 | VMM[vm]: Device creation for pit@40188000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'mscm@40198000'.reg[0]
(0x40198000-0x40198fff). vm1 | VMM[vm]: Device creation for mscm@40198000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'flexcan@401b4000'.reg[0] (0x401b4000-0x401bdfff). vm1 | VMM[vm]: Device creation for flexcan@401b4000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'serial@401c8000'.reg[0] (0x401c8000-0x401cafff). vm1 | VMM[vm]: Device creation for serial@401c8000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'serial@401cc000'.reg[0] (0x401cc000-0x401cefff). vm1 | VMM[vm]: Device creation for serial@401cc000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@401d8000'.reg[0]
(0x401d8000-0x401d8fff). vm1 | VMM[vm]: Device creation for spi@401d8000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e4000'.reg[0]
(0x401e4000-0x401e4fff). vm1 | VMM[vm]: Device creation for i2c@401e4000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e8000'.reg[0]
(0x401e8000-0x401e8fff). vm1 | VMM[vm]: Device creation for i2c@401e8000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401ec000'.reg[0]
(0x401ec000-0x401ecfff). vm1 | VMM[vm]: Device creation for i2c@401ec000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@401f4000'.reg[0]
(0x401f4000-0x401f4fff). vm1 | VMM[vm]: Device creation for pwm@401f4000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@401f8000'.reg[0]
(0x401f8000-0x401f8fff). vm1 | VMM[vm]: Device creation for adc@401f8000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@40200000'.reg[0] (0x40200000-0x40200fff). vm1 | VMM[vm]: Device creation for watchdog@40200000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@40204000'.reg[0] (0x40204000-0x40204fff). vm1 | VMM[vm]: Device creation for watchdog@40204000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'watchdog@40208000'.reg[0] (0x40208000-0x40208fff). vm1 | VMM[vm]: Device creation for watchdog@40208000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu0b@40210000'.reg[0]
(0x40210000-0x40210fff). vm1 | VMM[vm]: Device creation for mu0b@40210000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu1b@40211000'.reg[0]
(0x40211000-0x40211fff). vm1 | VMM[vm]: Device creation for mu1b@40211000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu2b@40212000'.reg[0]
(0x40212000-0x40212fff). vm1 | VMM[vm]: Device creation for mu2b@40212000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu3b@40213000'.reg[0]
(0x40213000-0x40213fff). vm1 | VMM[vm]: Device creation for mu3b@40213000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40228000'.reg[0]
(0x40228000-0x4022afff). vm1 | VMM[vm]: Device creation for stm@40228000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'dma- controller@40244000'.reg[0] (0x40244000-0x40267. vm1 | VMM[vm]: Device creation for dma-controller@40244000 failed.
Disabling
device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40288000'.reg[0]
(0x40288000-0x4028afff). vm1 | VMM[vm]: Device creation for pit@40288000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'flexcan@402a8000'.reg[0] (0x402a8000-0x402b1fff). vm1 | VMM[vm]: Device creation for flexcan@402a8000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'flexcan@402b2000'.reg[0] (0x402b2000-0x402bbfff). vm1 | VMM[vm]: Device creation for flexcan@402b2000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'serial@402bc000'.reg[0] (0x402bc000-0x402befff). vm1 | VMM[vm]: Device creation for serial@402bc000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@402d0000'.reg[0]
(0x402d0000-0x402d0fff). vm1 | VMM[vm]: Device creation for spi@402d0000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@402dc000'.reg[0]
(0x402dc000-0x402dcfff). vm1 | VMM[vm]: Device creation for i2c@402dc000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@402e4000'.reg[0]
(0x402e4000-0x402e4fff). vm1 | VMM[vm]: Device creation for pwm@402e4000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@402e8000'.reg[0]
(0x402e8000-0x402e8fff). vm1 | VMM[vm]: Device creation for adc@402e8000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'mmc@402f0000'.reg[0]
(0x402f0000-0x402f0fff). vm1 | VMM[vm]: Device creation for mmc@402f0000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'fccu@4030c000'.reg[0]
(0x4030c000-0x4030efff). vm1 | VMM[vm]: Device creation for fccu@4030c000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'ethernet@4033c000'.reg[0] (0x4033c000-0x4033dfff). vm1 | VMM[vm]: Device creation for ethernet@4033c000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr_errata@403c0000'.reg[0] (0x403c0000-0x403c00ff). vm1 | VMM[vm]: Device creation for ddr_errata@403c0000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr- perf@403e0000'.reg[0] (0x403e0000-0x403e00ff). vm1 | VMM[vm]: Device creation for ddr-perf@403e0000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@40400000'.reg[0]
(0x40400000-0x40400fff). vm1 | VMM[vm]: Device creation for pcie@40400000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'serdes@40480000'.reg[0] (0x40480000-0x40480107). vm1 | VMM[vm]: Device creation for serdes@40480000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@44100000'.reg[0]
(0x44100000-0x44100fff). vm1 | VMM[vm]: Device creation for pcie@44100000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'serdes@44180000'.reg[0] (0x44180000-0x44180107). vm1 | VMM[vm]: Device creation for serdes@44180000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfe@46000000'.reg[0]
(0x46000000-0x46ffffff). vm1 | VMM[vm]: Device creation for pfe@46000000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_dte_sram@43000000'.reg[0] (0x43000000-0x43001f. vm1 | VMM[vm]: Device creation for llce_dte_sram@43000000 failed.
Disabling
device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_ppe_rx_sram@43100000'.reg[0] (0x43100000-0x431. vm1 | VMM[vm]: Device creation for llce_ppe_rx_sram@43100000
failed.
Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_ppe_tx_sram@43200000'.reg[0] (0x43200000-0x432. vm1 | VMM[vm]: Device creation for llce_ppe_tx_sram@43200000
failed.
Disabling device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_frpe_sram@43300000'.reg[0] (0x43300000-0x4330f. vm1 | VMM[vm]: Device creation for llce_frpe_sram@43300000 failed.
Disabling
device. vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce_shmem@43800000'.reg[0] (0x43800000-0x4384ffff). vm1 | VMM[vm]: Device creation for llce_shmem@43800000 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce@43a00000'.reg[0]
(0x43ff8000-0x43ffbfff). vm1 | VMM[vm]: Device creation for llce@43a00000 failed. Disabling
device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'usbmisc@44064200'.reg[0] (0x44064200-0x440643ff). vm1 | VMM[vm]: Device creation for usbmisc@44064200 failed.
Disabling device.
vm1 | VMM[ioproxy]: No corresponding IO resource for 'usb@44064000'.reg[0]
(0x44064000-0x440641ff). vm1 | VMM[vm]: Device creation for usb@44064000 failed. Disabling
device.
vm1 | VMM[ram]: Cleaning caches for device tree [9ff2000-9fff728]
([90df2000])
io | new iomem region: p=00000000000000 v=00000000400000 s=400000
(bmb=0x39bc0)
io | map mem: p=00000000002000 v=00000000402000 s=2000 uncached:
done(0)
vm1 | VMM[]: Starting Cpu0 @ 0x88e00000 in 64Bit mode (handler @
1078e08,
stack: 801ffba0, task: 420000, ) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | VMM[]: Starting Cpu1 @ 0x896e7254 in 64Bit mode (handler @
1078e08,
stack: 400f20, task: 420000, mp) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | VMM[]: Starting Cpu2 @ 0x896e7254 in 64Bit mode (handler @
1078e08,
stack: 5fff20, task: 420000, mp) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | VMM[]: Starting Cpu3 @ 0x896e7254 in 64Bit mode (handler @
1078e08,
stack: 7fef20, task: 420000, mp) vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) vm1 | [ 0.000000] Booting Linux on physical CPU 0x0000000000
[0x410fd034]
vm1 | [ 0.000000] Linux version 5.15.119-rt65+ge18f05316cd9
(oe-user@oe-
host) (aarch64-fsl-linux-gcc (3 vm1 | [ 0.000000] Machine model: NXP S32G2XXX-EVB vm1 | [ 0.000000] Zone ranges: vm1 | [ 0.000000] DMA [mem
0x0000000088e00000-0x0000000090dfffff]
vm1 | [ 0.000000] DMA32 empty vm1 | [ 0.000000] Normal empty vm1 | [ 0.000000] Movable zone start for each node vm1 | [ 0.000000] Early memory node ranges vm1 | [ 0.000000] node 0: [mem
0x0000000088e00000-0x0000000090dfffff]
vm1 | [ 0.000000] Initmem setup node 0 [mem 0x0000000088e00000-0x0000000090dfffff] vm1 | [ 0.000000] On node 0, zone DMA: 3584 pages in unavailable
ranges
vm1 | [ 0.000000] On node 0, zone DMA: 29184 pages in unavailable
ranges
vm1 | [ 0.000000] cma: Failed to reserve 256 MiB vm1 | [ 0.000000] psci: probing for conduit method from DT. vm1 | [ 0.000000] psci: PSCIv1.0 detected in firmware. vm1 | [ 0.000000] psci: Using standard PSCI v0.2 function IDs vm1 | [ 0.000000] psci: Trusted OS migration not required vm1 | [ 0.000000] psci: SMC Calling Convention v1.0 vm1 | [ 0.000000] percpu: Embedded 18 pages/cpu s34200 r8192
d31336 u73728
vm1 | [ 0.000000] pcpu-alloc: s34200 r8192 d31336 u73728
alloc=18*4096
vm1 | [ 0.000000] pcpu-alloc: [0] 0 [0] 1 [0] 2 [0] 3 vm1 | [ 0.000000] Detected VIPT I-cache on CPU0 vm1 | [ 0.000000] CPU features: detected: GIC system register CPU
interface
vm1 | [ 0.000000] CPU features: detected: ARM erratum 845719 vm1 | [ 0.000000] CPU features: detected: ARM errata 1165522,
1319367,
1530923, or 1530924 vm1 | [ 0.000000] Built 1 zonelists, mobility grouping on. Total
pages:
32320 vm1 | [ 0.000000] Kernel command line: console=ttyAMA0
earlyprintk=1
rdinit=/init vm1 | [ 0.000000] Unknown kernel command line parameters
"earlyprintk=1",
will be passed to user space. vm1 | [ 0.000000] Dentry cache hash table entries: 16384 (order:
5,
131072 bytes, linear) vm1 | [ 0.000000] Inode-cache hash table entries: 8192 (order: 4,
65536
bytes, linear) vm1 | [ 0.000000] mem auto-init: stack:off, heap alloc:off, heap
free:off
vm1 | [ 0.000000] Memory: 83660K/131072K available (9088K kernel
code,
642K rwdata, 3036K rodata, 1344) vm1 | [ 0.000000] rcu: Preemptible hierarchical RCU
implementation.
vm1 | [ 0.000000] rcu: RCU event tracing is enabled. vm1 | [ 0.000000] rcu: RCU restricting CPUs from NR_CPUS=8 to
nr_cpu_ids=4.
vm1 | [ 0.000000] Trampoline variant of Tasks RCU enabled. vm1 | [ 0.000000] Tracing variant of Tasks RCU enabled. vm1 | [ 0.000000] rcu: RCU calculated value of
scheduler-enlistment delay
is 25 jiffies. vm1 | [ 0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=4 vm1 | [ 0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0 vm1 | [ 0.000000] GICv3: 988 SPIs implemented vm1 | [ 0.000000] GICv3: 0 Extended SPIs implemented vm1 | [ 0.000000] GICv3: Distributor has no Range Selector support vm1 | [ 0.000000] Root IRQ handler: gic_handle_irq vm1 | [ 0.000000] GICv3: 16 PPIs implemented vm1 | [ 0.000000] GICv3: CPU0: found redistributor 0 region 0:0x0000000050880000 vm1 | [ 0.000000] arch_timer: cp15 timer(s) running at 5.00MHz
(virt).
vm1 | [ 0.000000] clocksource: arch_sys_counter: mask:
0xffffffffffffff
max_cycles: 0x127350b88, max_is vm1 | [ 0.000001] sched_clock: 56 bits at 5MHz, resolution 200ns,
wraps
every 4398046511100ns vm1 | [ 0.000647] Console: colour dummy device 80x25 vm1 | [ 0.000694] Calibrating delay loop (skipped), value
calculated
using timer frequency.. 10.00 Bog) vm1 | [ 0.000707] pid_max: default: 32768 minimum: 301 vm1 | [ 0.000892] Mount-cache hash table entries: 512 (order: 0,
4096
bytes, linear) vm1 | [ 0.000903] Mountpoint-cache hash table entries: 512
(order: 0,
4096 bytes, linear) vm1 | [ 0.002655] rcu: Hierarchical SRCU implementation. vm1 | [ 0.003586] smp: Bringing up secondary CPUs ... vm1 | [ 0.017942] Detected VIPT I-cache on CPU1 vm1 | [ 0.018008] GICv3: CPU1: found redistributor 1 region 0:0x00000000508a0000 vm1 | [ 0.018171] CPU1: Booted secondary processor 0x0000000001
[0x410fd034]
vm1 | [ 0.038911] Detected VIPT I-cache on CPU2 vm1 | [ 0.038970] GICv3: CPU2: found redistributor 100 region 0:0x00000000508c0000 vm1 | [ 0.039117] CPU2: Booted secondary processor 0x0000000100
[0x410fd034]
vm1 | [ 0.059706] Detected VIPT I-cache on CPU3 vm1 | [ 0.059748] GICv3: CPU3: found redistributor 101 region 0:0x00000000508e0000 vm1 | [ 0.059865] CPU3: Booted secondary processor 0x0000000101
[0x410fd034]
vm1 | [ 0.066499] smp: Brought up 1 node, 4 CPUs vm1 | [ 0.066508] SMP: Total of 4 processors activated. vm1 | [ 0.066514] CPU features: detected: 32-bit EL0 Support vm1 | [ 0.066519] CPU features: detected: CRC32 instructions vm1 | [ 0.076664] CPU: All CPU(s) started at EL1 vm1 | [ 0.076717] alternatives: patching kernel code vm1 | [ 0.077658] devtmpfs: initialized vm1 | [ 0.086658] clocksource: jiffies: mask: 0xffffffff
max_cycles:
0xffffffff, max_idle_ns: 76450417s vm1 | [ 0.086684] futex hash table entries: 1024 (order: 4, 65536
bytes,
linear) vm1 | [ 0.086894] pinctrl core: initialized pinctrl subsystem vm1 | [ 0.087761] NET: Registered PF_NETLINK/PF_ROUTE protocol
family
vm1 | [ 0.088328] DMA: preallocated 128 KiB GFP_KERNEL pool for
atomic
allocations vm1 | [ 0.088376] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA
pool for
atomic allocations vm1 | [ 0.088418] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA32
pool for
atomic allocations vm1 | [ 0.088812] thermal_sys: Registered thermal governor
'step_wise'
vm1 | [ 0.089482] hw-breakpoint: found 6 breakpoint and 4
watchpoint
registers. vm1 | [ 0.089813] ASID allocator initialised with 65536 entries vm1 | [ 0.089902] Serial: AMBA PL011 UART driver vm1 | [ 0.091205] 12000.pl011_uart: ttyAMA0 at MMIO 0x12000 (irq
= 14,
base_baud = 0) is a PL011 rev3 vm1 | [ 0.091249] printk: console [ttyAMA0] enabled vm1 | [ 0.097882] HugeTLB registered 1.00 GiB page size,
pre-allocated 0
pages vm1 | [ 0.097896] HugeTLB registered 32.0 MiB page size,
pre-allocated 0
pages vm1 | [ 0.097902] HugeTLB registered 2.00 MiB page size,
pre-allocated 0
pages vm1 | [ 0.097908] HugeTLB registered 64.0 KiB page size,
pre-allocated 0
pages vm1 | [ 0.099874] vgaarb: loaded vm1 | [ 0.100066] SCSI subsystem initialized vm1 | [ 0.100236] usbcore: registered new interface driver usbfs vm1 | [ 0.100269] usbcore: registered new interface driver hub vm1 | [ 0.100298] usbcore: registered new device driver usb vm1 | [ 0.100605] pps_core: LinuxPPS API ver. 1 registered vm1 | [ 0.100609] pps_core: Software ver. 5.3.6 - Copyright
2005-2007
Rodolfo Giometti giometti@linux vm1 | [ 0.100622] PTP clock support registered vm1 | [ 0.101759] clocksource: Switched to clocksource
arch_sys_counter
vm1 | [ 0.110198] NET: Registered PF_INET protocol family vm1 | [ 0.110332] IP idents hash table entries: 2048 (order: 2,
16384
bytes, linear) vm1 | [ 0.110706] tcp_listen_portaddr_hash hash table entries:
256
(order: 0, 4096 bytes, linear) vm1 | [ 0.110727] Table-perturb hash table entries: 65536 (order:
6,
262144 bytes, linear) vm1 | [ 0.110737] TCP established hash table entries: 1024
(order: 1,
8192 bytes, linear) vm1 | [ 0.110752] TCP bind hash table entries: 1024 (order: 2,
16384
bytes, linear) vm1 | [ 0.110775] TCP: Hash tables configured (established 1024
bind 1024)
vm1 | [ 0.110860] UDP hash table entries: 256 (order: 1, 8192
bytes, linear)
vm1 | [ 0.110882] UDP-Lite hash table entries: 256 (order: 1,
8192 bytes,
linear) vm1 | [ 0.111044] NET: Registered PF_UNIX/PF_LOCAL protocol family vm1 | [ 0.111710] RPC: Registered named UNIX socket transport
module.
vm1 | [ 0.111715] RPC: Registered udp transport module. vm1 | [ 0.111718] RPC: Registered tcp transport module. vm1 | [ 0.111721] RPC: Registered tcp NFSv4.1 backchannel
transport module.
vm1 | [ 0.111731] PCI: CLS 0 bytes, default 64 vm1 | [ 0.112053] Unpacking initramfs... vm1 | [ 0.946302] Initramfs unpacking failed: write error vm1 | [ 0.959998] Freeing initrd memory: 25676K vm1 | [ 0.962699] workingset: timestamp_bits=62 max_order=15
bucket_order=0
vm1 | [ 0.963739] fuse: init (API version 7.34) vm1 | [ 0.963938] NET: Registered PF_ALG protocol family vm1 | [ 0.964001] Block layer SCSI generic (bsg) driver version
0.4
loaded (major 248) vm1 | [ 0.964008] io scheduler mq-deadline registered vm1 | [ 0.964012] io scheduler kyber registered vm1 | [ 0.968974] vcan: Virtual CAN interface driver vm1 | [ 0.968989] slcan: serial line CAN interface driver vm1 | [ 0.968992] slcan: 10 dynamic interface channels. vm1 | [ 0.969000] CAN device driver interface vm1 | [ 0.969065] e100: Intel(R) PRO/100 Network Driver vm1 | [ 0.969069] e100: Copyright(c) 1999-2006 Intel Corporation vm1 | [ 0.969104] e1000: Intel(R) PRO/1000 Network Driver vm1 | [ 0.969108] e1000: Copyright (c) 1999-2006 Intel
Corporation.
vm1 | [ 0.969144] e1000e: Intel(R) PRO/1000 Network Driver vm1 | [ 0.969146] e1000e: Copyright(c) 1999 - 2015 Intel
Corporation.
vm1 | [ 0.969179] igb: Intel(R) Gigabit Ethernet Network Driver vm1 | [ 0.969183] igb: Copyright (c) 2007-2014 Intel Corporation. vm1 | [ 0.969534] ehci_hcd: USB 2.0 'Enhanced' Host Controller
(EHCI) Driver
vm1 | [ 0.969543] ehci-pci: EHCI PCI platform driver vm1 | [ 0.969763] usbcore: registered new interface driver uas vm1 | [ 0.969801] usbcore: registered new interface driver
usb-storage
vm1 | [ 0.970286] i2c_dev: i2c /dev entries driver vm1 | [ 0.970482] sdhci: Secure Digital Host Controller Interface
driver
vm1 | [ 0.970485] sdhci: Copyright(c) Pierre Ossman vm1 | [ 0.970488] sdhci-pltfm: SDHCI platform and OF driver helper vm1 | [ 0.970671] usbcore: registered new interface driver usbhid vm1 | [ 0.970675] usbhid: USB HID core driver vm1 | [ 0.971182] NET: Registered PF_INET6 protocol family vm1 | [ 0.972106] Segment Routing with IPv6 vm1 | [ 0.972143] In-situ OAM (IOAM) with IPv6 vm1 | [ 0.972197] sit: IPv6, IPv4 and MPLS over IPv4 tunneling
driver
vm1 | [ 0.972682] NET: Registered PF_PACKET protocol family vm1 | [ 0.972887] can: controller area network core vm1 | [ 0.972921] NET: Registered PF_CAN protocol family vm1 | [ 0.972926] can: raw protocol vm1 | [ 0.972932] can: broadcast manager protocol vm1 | [ 0.972944] can: netlink gateway - max_hops=1 vm1 | [ 0.972973] 8021q: 802.1Q VLAN Support v1.8 vm1 | [ 0.973246] printk: console [ttyAMA0]: printing thread
started
vm1 | [ 1.043530] uart-pl011 12000.pl011_uart: no DMA platform
data
vm1 | [ 1.099243] VFS: Cannot open root device "(null)" or
unknown-
block(0,0): error -6 vm1 | [ 1.099253] Please append a correct "root=" boot option;
here are
the available partitions: vm1 | [ 1.099259] Kernel panic - not syncing:
Regards, Qiang
On Wed, Feb 19, 2025 at 5:17 PM Adam Lackorzynski <adam@l4re.org mailto:adam@l4re.org> wrote:
Hi Qiang, what you did is good. The messages shown are giving hints on the setup and are notgenerally
bad. If the ioproxy says there's no resource it means that adevice/resource
is listed in the device tree but not on the vbus, i.e. this resourceis
not available for the VM. uvmm thus disables this node in the device tree. The platform_ctl cap message is coming from io, telling us that io cannot offer the Platform_control API because no cap has been made available. Regarding the UART, there's also a hint, and I believe that is alsothe
reason why no output from Linux is seen. You already noticed as well. pl011 and linflex are not compatible. What I would propose is thatyou
add a node in the DT for the pl011, as uvmm can emulate this UARTtype.
An example can be found in pkg/uvmm/configs/dts/vmm-devices-arm.dtsi. This file contains two variants of a UART. The pl011 one which I just mentioned and a virtio-console one. Both will work. You can take the contents of this file as is, however pay attention to the MMIO ranges and IRQs used. Choose a free range in the guest physical addressspace
of your guest (aka a range not used in the device tree) and changethe
addresses accordingly. Similar with the interrupts, use one not used previously. Adam On Tue Feb 18, 2025 at 18:02:32 +0800, qiang xu wrote: > Hi Adam, > > Thank you very much for your help. I selected the option "*Target > configuration -> Use PSCI[]**" *in the Fiasco compile options and > recompiled. Then, in the L4 compile options, I selected *"uvmmvirtual
> machine monitor -> PSCI interface support[]*" and recompiled L4.After
> running it in boot, I encountered the overlap issue again. Later,I
> adjusted the `DEFAULT_RELOC_arm64`and resolved it. However, whenI started,
> I encountered many VMM-related errors, such as: > > - warning: could not register control interface at cap'platform_ctl'
> - | HINT: Found console=ttyAMA on the command line but no > arm,pl011/sbsa-uart device in device tree! > - VMM[ioproxy]: No corresponding IO resource for 'pmu' IRQ 23 > - VMM[ioproxy]: No corresponding IO resource for 'shm@c0000000'.reg[0]
> (0xc0000000-0xc03fffff) > > The detailed printout is as follows. > > => fatload mmc 0 0x8000e000 l4re_uvmm-io.uimage > 46235855 bytes read in 1971 ms (22.4 MiB/s) > => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb > 53414 bytes read in 17 ms (3 MiB/s) > => bootm 0x8000e000 - 0x80000000 > ## Booting kernel from Legacy Image at 8000e000 ... > Image Name: L4 Image #25 > Image Type: AArch64 Linux Kernel Image (uncompressed) > Data Size: 46235791 Bytes = 44.1 MiB > Load Address: 91000000 > Entry Point: 91000000 > Verifying Checksum ... OK > ## Flattened Device Tree blob at 80000000 > Booting using the fdt blob at 0x80000000 > Loading Kernel Image > Using Device Tree in place at 0000000080000000, end00000000800100a5
> fixup: pfe0 set to 00:01:be:be:ef:11 > fixup: pfe1 set to 00:01:be:be:ef:22 > fixup: pfe2 set to 00:01:be:be:ef:33 > > Starting kernel ... > > > L4 Bootstrapper > Build: #25 Tue Feb 18 17:29:53 CST 2025, 11.4.0 > RAM: 0000000080000000 - 00000000ffffffff: 2097152kB > RAM: 0000000880000000 - 00000008dfffffff: 1572864kB > Total RAM: 3584MB > Scanning fiasco > Scanning sigma0 > Scanning moe > Moving up to 15 modules behind 81300000 > moving module 00 { 9101f000-910e5fe7 } -> { 8600a000-860d0fe7 }[815080]
> moving module 01 { 910e6000-910ebcd7 } -> { 860d1000-860d6cd7 }[23768]
> moving module 02 { 910ec000-9111e6cf } -> { 860d7000-861096cf }[206544]
> moving module 03 { 9111f000-9121258f } -> { 8610a000-861fd58f }[996752]
> moving module 04 { 91213000-9122e537 } -> { 861fe000-86219537 }[111928]
> moving module 05 { 9122f000-912b7aa7 } -> { 8621a000-862a2aa7 }[559784]
> moving module 06 { 912b8000-912c50a5 } -> { 862a3000-862b00a5 }[53414]
> moving module 07 { 912c6000-92bd9a52 } -> { 862b1000-87bc4a52 }[26294867]
> moving module 08 { 92bda000-92bdb218 } -> { 87bc5000-87bc6218 }[4633]
> moving module 09 { 92bdc000-92bdc299 } -> { 87bc7000-87bc7299 }[666]
> moving module 10 { 92bdd000-939bd807 } -> { 87bc8000-889a8807 }[14551048]
> moving module 11 { 939be000-93a03faf } -> { 889a9000-889eefaf }[286640]
> moving module 12 { 93a04000-93c16a87 } -> { 889ef000-88c01a87 }[2173576]
> moving module 13 { 93c17000-93c171ff } -> { 88c02000-88c021ff }[512]
> moving module 14 { 93c18000-93c1808e } -> { 88c03000-88c0308e }[143]
> Loading fiasco > found node 0 kernel info page (via ELF) at 0x80203000 > Loading sigma0 > Loading moe > found node 0 kernel options (via ELF) at 0x80204000 > Sigma0 config node: 0 ip:860003f4 > Roottask config node: 0 ip:80841904 > Regions of list 'regions' > [ 34000000, 3407ffff] { 80000} Arch pfebufs@34000000 > [ 34080000, 3409ffff] { 20000} Arch pfebufs@34080000 > [ 80000000, 8000dfff] { e000} Root dtb > [ 8000e000, 8000efff] { 1000} Root mbi_rt > [ 80201000, 80205847] { 4848} Kern fiasco > [ 80400000, 8061dfff] { 21e000} Kern fiasco > [ 80840000, 8087d817] { 3d818} Root moe > [ 83200000, 835dffff] { 3e0000} Arch pfebufs@83200000 > [ 835e0000, 835fffff] { 20000} Arch pfebufs@835e0000 > [ 84000000, 843fffff] { 400000} Arch shm@84000000 > [ 85000000, 85000fff] { 1000} Arch ddr@85000000 > [ 86000000, 8600946f] { 9470} Sigma0 sigma0 > [ 8610a000, 88c0308e] { 2af908f} Root Module > [ 91000158, 91000187] { 30} Root cpu_boot > [ 9101e1d0, 9101ecda] { b0b} Boot modinfo > [ c0000000, c03fffff] { 400000} Arch shm@c0000000 > [ c0400000, c07fffff] { 400000} Arch shm@c0400000 > [ d0000000, d000007f] { 80} Arch shm@d0000000 > [ d0000080, d00000ff] { 80} Arch shm@d0000080 > [ ff800000, ff9fffff] { 200000} Arch atf@ff800000 > Starting kernel fiasco at 80201190 > Hello from Startup::stage2 > Reserved 216 MiB as kernel memory. > Number of IRQs available at this GIC: 576 > CPU0: GIC Redistributor at ffff00480000 for 0x0 > Detecting PSCI ... > Detected PSCI v1.1 > PSCI: CPU_SUSPEND format original v0.2, does not supportOS-initiated mode
> PSCI: TOS: Not present or not required. > FPU: Initialize > ARM generic timer: freq=5000000 interval=5000 cnt=723121421 > SERIAL ESC: allocated IRQ 114 for serial uart > Not using serial hack in slow timer handler. > Welcome to the L4Re Microkernel! > L4Re Microkernel on arm-64 > Rev: unknown compiled with gcc 11.4.0 for NXP S32G [] > Build: #12 Tue Feb 18 14:17:13 CST 2025 > > Cache config: ON > CPU1: GIC Redistributor at ffff004a0000 for 0x1 > CPU1: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 > ID_MMFR[04]: 00001122 00000000 00000000 00000000 > CPU2: GIC Redistributor at ffff004c0000 for 0x100 > CPU2: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 > ID_MMFR[04]: 00001122 00000000 00000000 00000000 > CPU3: GIC Redistributor at ffff004e0000 for 0x101 > Calibrating timer loop... > CPU3: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000 > ID_MMFR[04]: 00001122 00000000 00000000 00000000 > Timer calibration done. > MDB: use page size: 30 > MDB: use page size: 21 > MDB: use page size: 12 > SIGMA0: Hello! > KIP @ 80203000 > allocated 4KB for maintenance structures > SIGMA0: Dump of all resource maps > RAM:------------------------ > [4:---:80000000;8000dfff] > [4:RWX:8000e000;8000efff] > [0:RWX:8000f000;80200fff] > [0:RWX:80206000;803fffff] > [0:RWX:8061e000;8083ffff] > [4:RWX:80840000;8087dfff] > [0:RWX:8087e000;831fffff] > [0:RWX:83600000;83ffffff] > [0:RWX:84400000;84ffffff] > [0:RWX:85001000;85ffffff] > [0:RWX:8600a000;86109fff] > [4:RWX:8610a000;88c03fff] > [0:RWX:88c04000;90ffffff] > [4:---:91000000;91000fff] > [0:RWX:91001000;bfffffff] > [0:RWX:c0800000;cfffffff] > [0:RWX:d0001000;ff7fffff] > [0:RWX:ffa00000;ffffffff] > [0:RWX:880000000;8d27fffff] > IOMEM:---------------------- > [0:RW-:0;7fffffff] > [0:RW-:83200000;835fffff] > [0:RW-:84000000;843fffff] > [0:RW-:85000000;85000fff] > [0:RW-:c0000000;c07fffff] > [0:RW-:d0000000;d0000fff] > [0:RW-:ff800000;ff9fffff] > [0:RW-:100000000;87fffffff] > [0:RW-:8e0000000;ffffffffffffffff] > MOE: Hello world > MOE: found 3383848 KByte free memory > MOE: found RAM from 8000f000 to 8d2800000 > MOE: allocated 34088 KByte for the page array @0x8087e000 > MOE: virtual user address space [0-ffffffffff] > MOE: cmdline: moe rom/uvmm-io.ned > MOE: rom name space cap -> [C:103000] > MOE: rwfs name space cap -> [C:105000] > ROMFS: [8610a000-861fd590] [C:107000] uvmm > ROMFS: [861fe000-86219538] [C:109000] l4re > ROMFS: [8621a000-862a2aa8] [C:10b000] ned > ROMFS: [862a3000-862b00a6] [C:10d000] s32g2xxa-evb.dtb > ROMFS: [862b1000-87bc4a53] [C:10f000] > fsl-image-dom0less-s32g274aevb.cpio.gz > ROMFS: [87bc5000-87bc6219] [C:111000] vmm.lua > ROMFS: [87bc7000-87bc729a] [C:113000] uvmm-io.ned > ROMFS: [87bc8000-889a8808] [C:115000] Image > ROMFS: [889a9000-889eefb0] [C:117000] cons > ROMFS: [889ef000-88c01a88] [C:119000] io > ROMFS: [88c02000-88c02200] [C:11b000] io.cfg > ROMFS: [88c03000-88c0308f] [C:11d000] vm_hw.vbus > ROMFS: [80000000-8000e000] [C:11f000] .fdt > MOE: Starting: rom/ned rom/uvmm-io.ned > MOE: loading 'rom/ned' > Ned says: Hi World! > Ned: loading file: 'rom/uvmm-io.ned' > Console Server > cons> > Created vcon channel: io [420010] > cons> > io | Io service > io | Verboseness level: 7 > io | unused physical memory space: > > Created vcon channel: vm1 [421010] > cons> > io | [00000000000000-00000033ffffff] > > Created vcon channel: mon1 [422010] > cons> > io | [000000340a0000-0000007fffffff] > io | [00000100000000-0000087fffffff] > io | [000008e0000000-ffffffffffffffff] > io | no 'iommu' capability found, using CPU-phys for DMA > io | Loading: config 'rom/io.cfg' > io | Loading: config 'rom/vm_hw.vbus' > io | Add IRQ resources to vbus: IRQ[00000000000007-00000000000007
> 1] level high (align=0 flags=3000) > io | Add IRQ resources to vbus: IRQ[00000000000052-00000000000052
> 1] raising edge (align=0 flags=10) > io | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE] > io | Resources: ==== start ==== > io | Resources: ===== end ===== > io | L4ICU: [N2Vi6Sw_icuE] > io | Resources: ==== start ==== > io | Resources: ===== end ===== > io | PMU: [N2Vi9Proxy_devE] > io | Resources: ==== start ==== > io | IRQ [00000000000007-00000000000007 1] levelhigh (align=0
> flags=300001) > io | Resources: ===== end ===== > io | UART0: [N2Vi9Proxy_devE] > io | Resources: ==== start ==== > io | IRQ [00000000000052-00000000000052 1] raisingedge
> (align=0 flags=100001) > io | IOMEM [000000401c8000-000000401cb000 3001] 32-bitnon-pref
> (align=3000 flags=300002) > io | Resources: ===== end ===== > io | Real Hardware ----------------------------------- > io | System Bus: > io | Resources: ==== start ==== > io | DMADOM [00000000000000-00000000000000 1] (align=0flags=6)
> io | Resources: ===== end ===== > io | pmu: > io | compatible= { "arm,armv8-pmuv3" } > io | Clients: ===== start ==== > io | PMU: [N2Vi9Proxy_devE] > io | Clients: ===== end ==== > io | Resources: ==== start ==== > io | IRQ [00000000000007-00000000000007 1] levelhigh (align=0
> flags=300001) > io | Resources: ===== end ===== > io | uart0: > io | compatible= { "arm,pl011" } > io | Clients: ===== start ==== > io | UART0: [N2Vi9Proxy_devE] > io | Clients: ===== end ==== > io | Resources: ==== start ==== > io | IRQ [00000000000052-00000000000052 1] raisingedge
> (align=0 flags=100001) > io | IOMEM [000000401c8000-000000401cb000 3001] 32-bitnon-pref
> (align=3000 flags=300002) > io | Resources: ===== end ===== > io | warning: could not register control interface at cap > 'platform_ctl' > io | Ready. Waiting for request. > io | vbus vm_hw does not support a global DMA domain > vm1 | VMM[main]: Hello out there. > vm1 | VMM[ram]: No memory nodes found, setting up defaultregion
> vm1 | Command line: console=ttyAMA0 earlyprintk=1 rdinit=/init > vm1 | HINT: Found console=ttyAMA on the command line but no > arm,pl011/sbsa-uart device in device tree! > vm1 | HINT: VM-Output likely not to work! > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pmu'IRQ 23.
> vm1 | VMM[vm]: Device creation for pmu failed. Disablingdevice.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0000000'.reg[0] > (0xc0000000-0xc03fffff). > vm1 | VMM[vm]: Device creation for shm@c0000000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0400000'.reg[0] > (0xc0400000-0xc07fffff). > vm1 | VMM[vm]: Device creation for shm@c0400000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000000'.reg[0] > (0xd0000000-0xd000007f). > vm1 | VMM[vm]: Device creation for shm@d0000000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000080'.reg[0] > (0xd0000080-0xd00000ff). > vm1 | VMM[vm]: Device creation for shm@d0000080 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@84000000'.reg[0] > (0x84000000-0x843fffff). > vm1 | VMM[vm]: Device creation for shm@84000000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'pfebufs@34000000'.reg[0] > (0x34000000-0x3407ffff). > vm1 | VMM[vm]: Device creation for pfebufs@34000000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'pfebufs@34080000'.reg[0] > (0x34080000-0x3409ffff). > vm1 | VMM[vm]: Device creation for pfebufs@34080000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'pfebufs@83200000'.reg[0] > (0x83200000-0x835dffff). > vm1 | VMM[vm]: Device creation for pfebufs@83200000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'pfebufs@835e0000'.reg[0] > (0x835e0000-0x835fffff). > vm1 | VMM[vm]: Device creation for pfebufs@835e0000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr@85000000'.reg[0] > (0x85000000-0x85000fff). > vm1 | VMM[vm]: Device creation for ddr@85000000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'scmi'IRQ 332.
> vm1 | VMM[vm]: Device creation for scmi failed. Disablingdevice.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'rtc@40060000'.reg[0] > (0x40060000-0x40060fff). > vm1 | VMM[vm]: Device creation for rtc@40060000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'syscon@4007c000'.reg[0] > (0x4007c000-0x4007c0ff). > vm1 | VMM[vm]: Device creation for syscon@4007c000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'ddr_gpr@4007c600'.reg[0] > (0x4007c600-0x4007c61f). > vm1 | VMM[vm]: Device creation for ddr_gpr@4007c600 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'nvram@4009c000'.reg[0] > (0x4009c000-0x4009c00f). > vm1 | VMM[vm]: Device creation for nvram@4009c000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'siul2-pinctrl@4009c240'.reg[0] (0x4009c240-0x4009c3. > vm1 | VMM[vm]: Device creation for siul2-pinctrl@4009c240failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'siul2-gpio@4009d700'.reg[0] (0x4009d700-0x4009d70f). > vm1 | VMM[vm]: Device creation for siul2-gpio@4009d700failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'nvram@44010000'.reg[0] > (0x44010000-0x4401000f). > vm1 | VMM[vm]: Device creation for nvram@44010000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'ocotp@400a4000'.reg[0] > (0x400a4000-0x400a43ff). > vm1 | VMM[vm]: Device creation for ocotp@400a4000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'tmu@400a8000'.reg[0] > (0x400a8000-0x400aafff). > vm1 | VMM[vm]: Device creation for tmu@400a8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'watchdog@4010c000'.reg[0] > (0x4010c000-0x4010cfff). > vm1 | VMM[vm]: Device creation for watchdog@4010c000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@4011c000'.reg[0] > (0x4011c000-0x4011efff). > vm1 | VMM[vm]: Device creation for stm@4011c000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40120000'.reg[0] > (0x40120000-0x40122fff). > vm1 | VMM[vm]: Device creation for stm@40120000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@40134000'.reg[0] > (0x0-0x1fffffff). > vm1 | VMM[vm]: Device creation for spi@40134000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'dma-controller@40144000'.reg[0] (0x40144000-0x40167. > vm1 | VMM[vm]: Device creation for dma-controller@40144000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40188000'.reg[0] > (0x40188000-0x4018afff). > vm1 | VMM[vm]: Device creation for pit@40188000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'mscm@40198000'.reg[0] > (0x40198000-0x40198fff). > vm1 | VMM[vm]: Device creation for mscm@40198000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'flexcan@401b4000'.reg[0] > (0x401b4000-0x401bdfff). > vm1 | VMM[vm]: Device creation for flexcan@401b4000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for'serial@401c8000'
> IRQ 114. > vm1 | VMM[vm]: Device creation for serial@401c8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'serial@401cc000'.reg[0] > (0x401cc000-0x401cefff). > vm1 | VMM[vm]: Device creation for serial@401cc000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@401d8000'.reg[0] > (0x401d8000-0x401d8fff). > vm1 | VMM[vm]: Device creation for spi@401d8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e4000'.reg[0] > (0x401e4000-0x401e4fff). > vm1 | VMM[vm]: Device creation for i2c@401e4000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e8000'.reg[0] > (0x401e8000-0x401e8fff). > vm1 | VMM[vm]: Device creation for i2c@401e8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401ec000'.reg[0] > (0x401ec000-0x401ecfff). > vm1 | VMM[vm]: Device creation for i2c@401ec000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@401f4000'.reg[0] > (0x401f4000-0x401f4fff). > vm1 | VMM[vm]: Device creation for pwm@401f4000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@401f8000'.reg[0] > (0x401f8000-0x401f8fff). > vm1 | VMM[vm]: Device creation for adc@401f8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'watchdog@40200000'.reg[0] > (0x40200000-0x40200fff). > vm1 | VMM[vm]: Device creation for watchdog@40200000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'watchdog@40204000'.reg[0] > (0x40204000-0x40204fff). > vm1 | VMM[vm]: Device creation for watchdog@40204000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'watchdog@40208000'.reg[0] > (0x40208000-0x40208fff). > vm1 | VMM[vm]: Device creation for watchdog@40208000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu0b@40210000'.reg[0] > (0x40210000-0x40210fff). > vm1 | VMM[vm]: Device creation for mu0b@40210000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu1b@40211000'.reg[0] > (0x40211000-0x40211fff). > vm1 | VMM[vm]: Device creation for mu1b@40211000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu2b@40212000'.reg[0] > (0x40212000-0x40212fff). > vm1 | VMM[vm]: Device creation for mu2b@40212000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu3b@40213000'.reg[0] > (0x40213000-0x40213fff). > vm1 | VMM[vm]: Device creation for mu3b@40213000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40228000'.reg[0] > (0x40228000-0x4022afff). > vm1 | VMM[vm]: Device creation for stm@40228000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'dma-controller@40244000'.reg[0] (0x40244000-0x40267. > vm1 | VMM[vm]: Device creation for dma-controller@40244000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40288000'.reg[0] > (0x40288000-0x4028afff). > vm1 | VMM[vm]: Device creation for pit@40288000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'flexcan@402a8000'.reg[0] > (0x402a8000-0x402b1fff). > vm1 | VMM[vm]: Device creation for flexcan@402a8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'flexcan@402b2000'.reg[0] > (0x402b2000-0x402bbfff). > vm1 | VMM[vm]: Device creation for flexcan@402b2000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'serial@402bc000'.reg[0] > (0x402bc000-0x402befff). > vm1 | VMM[vm]: Device creation for serial@402bc000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@402d0000'.reg[0] > (0x402d0000-0x402d0fff). > vm1 | VMM[vm]: Device creation for spi@402d0000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@402dc000'.reg[0] > (0x402dc000-0x402dcfff). > vm1 | VMM[vm]: Device creation for i2c@402dc000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@402e4000'.reg[0] > (0x402e4000-0x402e4fff). > vm1 | VMM[vm]: Device creation for pwm@402e4000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@402e8000'.reg[0] > (0x402e8000-0x402e8fff). > vm1 | VMM[vm]: Device creation for adc@402e8000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'mmc@402f0000'.reg[0] > (0x402f0000-0x402f0fff). > vm1 | VMM[vm]: Device creation for mmc@402f0000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'fccu@4030c000'.reg[0] > (0x4030c000-0x4030efff). > vm1 | VMM[vm]: Device creation for fccu@4030c000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'ethernet@4033c000'.reg[0] > (0x4033c000-0x4033dfff). > vm1 | VMM[vm]: Device creation for ethernet@4033c000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'ddr_errata@403c0000'.reg[0] (0x403c0000-0x403c00ff). > vm1 | VMM[vm]: Device creation for ddr_errata@403c0000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'ddr-perf@403e0000'.reg[0] > (0x403e0000-0x403e00ff). > vm1 | VMM[vm]: Device creation for ddr-perf@403e0000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@40400000'.reg[0] > (0x40400000-0x40400fff). > vm1 | VMM[vm]: Device creation for pcie@40400000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'serdes@40480000'.reg[0] > (0x40480000-0x40480107). > vm1 | VMM[vm]: Device creation for serdes@40480000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@44100000'.reg[0] > (0x44100000-0x44100fff). > vm1 | VMM[vm]: Device creation for pcie@44100000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'serdes@44180000'.reg[0] > (0x44180000-0x44180107). > vm1 | VMM[vm]: Device creation for serdes@44180000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfe@46000000'.reg[0] > (0x46000000-0x46ffffff). > vm1 | VMM[vm]: Device creation for pfe@46000000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'llce_dte_sram@43000000'.reg[0] (0x43000000-0x43001f. > vm1 | VMM[vm]: Device creation for llce_dte_sram@43000000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'llce_ppe_rx_sram@43100000'.reg[0] (0x43100000-0x431. > vm1 | VMM[vm]: Device creation for llce_ppe_rx_sram@43100000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'llce_ppe_tx_sram@43200000'.reg[0] (0x43200000-0x432. > vm1 | VMM[vm]: Device creation for llce_ppe_tx_sram@43200000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'llce_frpe_sram@43300000'.reg[0] (0x43300000-0x4330f. > vm1 | VMM[vm]: Device creation for llce_frpe_sram@43300000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'llce_shmem@43800000'.reg[0] (0x43800000-0x4384ffff). > vm1 | VMM[vm]: Device creation for llce_shmem@43800000failed.
> Disabling device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce@43a00000'.reg[0] > (0x43ff8000-0x43ffbfff). > vm1 | VMM[vm]: Device creation for llce@43a00000 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for > 'usbmisc@44064200'.reg[0] > (0x44064200-0x440643ff). > vm1 | VMM[vm]: Device creation for usbmisc@44064200 failed.Disabling
> device. > vm1 | VMM[ioproxy]: No corresponding IO resource for 'usb@44064000'.reg[0] > (0x44064000-0x440641ff). > vm1 | VMM[vm]: Device creation for usb@44064000 failed.Disabling
> device. > vm1 | VMM[ram]: Cleaning caches for device tree[9ff2000-9fff431]
> ([90df2000]) > io | new iomem region: p=00000040000000 v=00000000400000s=400000
> (bmb=0x39bd0) > io | map mem: p=000000401c8000 v=000000005c8000 s=4000uncached:
> done(0) > vm1 | VMM[]: Starting Cpu0 @ 0x88e00000 in 64Bit mode(handler @
> 1078e08, stack: 801ffba0, task: 420000, ) > vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) > vm1 | VMM[]: Starting Cpu1 @ 0x896e7254 in 64Bit mode(handler @
> 1078e08, stack: 402f20, task: 420000, mp) > vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) > vm1 | VMM[]: Starting Cpu2 @ 0x896e7254 in 64Bit mode(handler @
> 1078e08, stack: 601f20, task: 420000, mp) > vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) > vm1 | VMM[]: Starting Cpu3 @ 0x896e7254 in 64Bit mode(handler @
> 1078e08, stack: 800f20, task: 420000, mp) > vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01) > > I suspect these errors might be related to the vbus IO resource > registration. So, I followed the wiki/HwPassThrough > <https://github.com/kernkonzept/manifest/wiki/HwPassThrough<https://
github.com/kernkonzept/manifest/wiki/HwPassThrough>> method to > register two devices(uart,pmu), but the errors still persist. Iam not sure
> what the cause is, so I would appreciate your help in analyzingit. It
> seems like it is very close to running successfully! > > The content of the IO-related files is as follows: > > *uvmm-io.ned:* > > *`*package.path = "rom/?.lua"; > > local L4 = require "L4"; > local vmm = require "vmm"; > > vmm.loader.log_fab = L4.default_loader:new_channel(); > > local function vm(id, vbus) > vmm.start_vm({ > id = id, > mem = 128, > rd = "rom/fsl-image-dom0less-s32g274aevb.cpio.gz", > fdt = "rom/s32g2xxa-evb.dtb", > kernel = "rom/Image", > vbus = vbus, > bootargs = "console=ttyAMA0 earlyprintk=1 rdinit=/init", > ext_args = { "-i" } > }); > end > > L4.default_loader:start( > { > log = L4.Env.log, > caps = { cons = vmm.loader.log_fab:svr() } > }, "rom/cons -a"); > > local io_busses = { > vm_hw = 1, > } > > vmm.start_io(io_busses, "rom/io.cfg -vvvvvv"); > > vm(1, io_busses.vm_hw);*`* > *vm_hw.vbus:* > Io.add_vbusses > { > vm_hw = Io.Vi.System_bus(function() > UART0 = wrap(Io.system_bus().uart0); // > PMU = wrap(Io.system_bus().pmu); > end); > } > > *io.cfg:* > local Res = Io.Res > local Hw = Io.Hw > > local add_children = Io.Dt.add_children > > add_children(Io.system_bus(), function() > uart0 = Hw.Device(function() > > compatible = {"arm,pl011"}; // It should be compatible = > *"nxp,s32cc-linflexuart", > "fsl,s32v234-linflexuart"**, because I saw the hint: "HINT: Found > console=ttyAMA on the command line but no arm,pl011/sbsa-uartdevice in
> device tree!". So, I changed it to arm,pl011, but the issue wasnot
> resolved. This could be the problem. Do I need to write a driverfor
> s32v234-linflexuart?* > > Resource.reg0 = Res.mmio(0x401c8000, 0x401cb000); > Resource.irq0 = Res.irq(32 + 50,Io.Resource.Irq_type_raising_edge);
> end) > > pmu = Hw.Device(function() > compatible = { "arm,armv8-pmuv3"}; > Resource.irq0 = Res.irq(7, Io.Resource.Irq_type_level_high); > end) > end) > > Regards, > Qiang > > On Mon, Feb 17, 2025 at 10:51 PM Adam Lackorzynski <adam@l4re.org <mailto:adam@l4re.org>> wrote: > > > Hi Qiang, > > > > the location where it stops could be the one when it is triedto enable
> > cores. Do you have PSCI enabled in the microkernelconfiguration? Please
> > enable it if not. > > > > > > Adam > > > > On Mon Feb 17, 2025 at 10:03:53 +0800, qiang xu wrote: > > > Hi Adam， > > > > > > Sorry, I didn't explain clearly about jdb. I entered jdbafter pressing
> > > 'esc'. > > > > > > Regards, > > > Qiang > > > > > > On Sat, Feb 15, 2025 at 1:31 AM Adam Lackorzynski <adam@l4re.org
<mailto:adam@l4re.org>> wrote: > > > > > > > Hi Qiang, > > > > > > > > On Wed Feb 12, 2025 at 11:55:30 +0800, qiang xu wrote: > > > > > Hi Adam， > > > > > > > > > > Thank you for your professional insights. Following yoursuggestion,
> > I > > > > > added "DEFAULT_RELOC_arm64 = 0x0ec00000" to theMakeconf.local file
> > in > > > > the > > > > > root directory and then rebuilt the system. Upon checkingthe "Start
> > > > > address: 0x86000000", I found that after rebuilding with0x0ec00000,
> > the > > > > > start address became 0x8ee00000. So, I changedDEFAULT_RELOC_arm64 to
> > > > > 0x05e00000, and after rebuilding, the start address was0x86000000,
> > which > > > > > meets the requirement. > > > > > > > > Thanks for the fix, of course it was 0x05e00000. > > > > > > > > That's now interesting what is happening. Did it go intojdb itself or
> > > > did you press ESC to get to the jdb? If it was itself, wasthere any
> > > > message before that telling a reason maybe? > > > > > > > > > > > > Adam > > > > > > > > > The contents of Makeconf.local are as follows: > > > > > > > > > > `/l4re-snapshot-24.08.0/obj/l4/builddir$ catMakeconf.local
> > > > > CROSS_COMPILE:=aarch64-linux-gnu- > > > > > DEFAULT_RELOC_arm64 = 0x05e00000` > > > > > > > > > > Build information: > > > > > `/l4re-snapshot-24.08.0/obj/l4/builddir$ make uimageE=uvmm-2vm
> > PT=s32g > > > > > make[1]: Entering directory > > > > > '/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/src/l4' > > > > > [bootstrap] ... Building Dependencies > > > > > [bootstrap - nofpu] ... Building Dependencies > > > > > Building entry "uvmm-2vm". > > > > > Merging images: > > > > > mod00: > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/fiasco/builddir/fiasco
> > > > > [796kB] > > > > > mod01: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/sigma0 > > > > > [24kB] > > > > > mod02: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/moe > > > > > [202kB] > > > > > mod03: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/uvmm > > > > > [974kB] > > > > > mod04: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/l4re > > > > > [110kB] > > > > > mod05: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/ned > > > > > [547kB] > > > > > mod06: > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/s32g2xxa-evb.dtb
> > > > > [53kB] > > > > > mod07: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/fsl-image-
dom0less-s32g274aevb.cpio.gz > > > > > [25679kB] > > > > > mod08: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/src/l4/pkg/uvmm/configs/
vmm.lua > > > > > [5kB] > > > > > mod09: > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/uvmm-2vm.ned
> > > > > [1kB] > > > > > mod10:/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/Image
> > > > > [14211kB] > > > > > mod11: > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/cons > > > > > [280kB] > > > > > [bootstrap - nofpu] ... Generating bootstrap.ld > > > > > [bootstrap - nofpu] ... Compiling startup.o > > > > > [bootstrap - nofpu] ==> Linking l4re.elf > > > > > [bootstrap] ==> Image post-processing l4re.elf > > > > > [bootstrap - nofpu] ==> l4re.elf built > > > > > ==> Installing l4re.elf in image directory > > > > > ==> Installing l4re_uvmm-2vm in image directory > > > > > ==> Installing l4re_uvmm-2vm.elf in image directory > > > > > [bootstrap - nofpu] ... Generating l4re.raw > > > > > ==> Installing l4re.raw in image directory > > > > > ==> Installing l4re_uvmm-2vm.raw in image directory > > > > > [bootstrap - nofpu] ... Generating l4re.uimage > > > > > Image Name: L4 Image #14 > > > > > Created: Wed Feb 12 10:50:58 2025 > > > > > Image Type: AArch64 Linux Kernel Image (uncompressed) > > > > > Data Size: 44056496 Bytes = 43023.92 KiB = 42.02 MiB > > > > > Load Address: 86000000 > > > > > Entry Point: 86000000 > > > > > ==> Installing l4re.uimage in image directory > > > > > ==> Installing l4re_uvmm-2vm.uimage in image directory > > > > > Image size(s) in bytes: > > > > > l4re_uvmm-2vm.elf: 44692328 > > > > > l4re.raw: 44056496 > > > > > l4re.uimage: 44056560 > > > > > Start address: > > > > > --> Build-Nr: 14 > > > > > [bootstrap - nofpu] ==> Installing l4re.elf to localbuild-tree
> > > > > [bootstrap - nofpu] ==> Installing l4re_uvmm-2vm tolocal
> > build-tree > > > > > [bootstrap - nofpu] ==> Installing l4re_uvmm-2vm.elf tolocal
> > > > build-tree > > > > > make[1]: Leaving directory > > > > > '/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/src/l4' > > > > > > > > > > ` > > > > > > > > > > I then placed it back onto the SD card to boot. Althoughthis solved
> > the > > > > > previous overlap issue, it seems to hang and does notboot properly.
> > I am > > > > > unsure if this is related to the message: > > > > > `Rev: unknown compiled with gcc 11.4.0 for NXP S32G` > > > > > > > > > > because my Linux kernel image was built on anothercomputer using the
> > > > Yocto > > > > > toolchain provided by NXP for S32G, while this machine > > > > > uses`CROSS_COMPILE:=aarch64-linux-gnu-`to compile Fiascoand the L4
> > > > uImage. > > > > > > > > > > Boot log: > > > > > > > > > > `fatload mmc 0 0x8000e000 l4re_uvmm-2vm.uimage > > > > > 44056560 bytes read in 1871 ms (22.5 MiB/s) > > > > > => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb > > > > > 53414 bytes read in 17 ms (3 MiB/s) > > > > > => boot > > > > > boot bootd bootefi bootelf booti bootm bootp bootvx > > > > > => bootm 0x8000e000 - 0x80000000 > > > > > ## Booting kernel from Legacy Image at 8000e000 ... > > > > > Image Name: L4 Image #14 > > > > > Image Type: AArch64 Linux Kernel Image (uncompressed) > > > > > Data Size: 44056496 Bytes = 42 MiB > > > > > Load Address: 86000000 > > > > > Entry Point: 86000000 > > > > > Verifying Checksum ... OK > > > > > ## Flattened Device Tree blob at 80000000 > > > > > Booting using the fdt blob at 0x80000000 > > > > > Loading Kernel Image > > > > > Using Device Tree in place at 0000000080000000, end > > 00000000800100a5 > > > > > fixup: pfe0 set to 00:01:be:be:ef:11 > > > > > fixup: pfe1 set to 00:01:be:be:ef:22 > > > > > fixup: pfe2 set to 00:01:be:be:ef:33 > > > > > > > > > > Starting kernel ... > > > > > > > > > > L4 Bootstrapper > > > > > Build: #14 Wed Feb 12 10:50:58 CST 2025, 11.4.0 > > > > > ... > > > > > Cache config: ON // Stuck here, no further execution. > > > > > ` > > > > > > > > > > I noticed that JDB had started, so I entered the tcommand and got
> > the > > > > > following output: > > > > > > > > > > `jdb: t > > > > > thread : 6 <0xffff8d5c0000> CPU: 0:0 prio: 00 > > > > > state : 001 ready > > > > > wait for: --- polling: rcv descr: > > > > > timeout : > > > > > cpu time: 0 timeslice: 10000 us > > > > > pager : [C: 0] task : kernel > > > > > exc-hndl: [C: 0] UTCB :00000000/00000000
> > > > > vCPU : --- > > > > > vCPU : --- > > > > > > > > > > Regs (before debug entry from kernel mode): brk#0x0
> > > > > x0 0000ffff40286930 0000000000000000 ldpx19, x30,
> > [sp], > > > > #0x10 > > > > > x2 0000000000000014 0000ffff402801e0 > > > > > x4 0000ffff40286ab8 0000000000000000 0000000000000088 > > 0000000000000014 > > > > > x8 0000000000000040 0000000000000014 0000ffff001c8000 > > 0000000000000014 > > > > > x12 0000ffff4022c010 0000ffff4022bfd0 0000ffff4022bfd0 > > 0000000000000000 > > > > > x16 0000ffff001c8000 0000000000000010 0000000000000010 > > 0000ffff4023ef70 > > > > > psr=00000000600003c9 tpidr: urw=0000000000000000uro=0000000000000000
> > > > > pc=0000ffff4022ba98 ksp=0000ffff8d5c1d40x30=0000ffff4022ba8c
> > > > > 1c00 0000000000000000 0000ffff402809800000000000000000
> > > > 0000ffff40286930 > > > > > 1c20 0000000000000000 00000000000000140000ffff402801e0
> > > > 0000ffff40286ab8 > > > > > 1c40 0000000000000000 00000000000000880000000000000014
> > > > 0000000000000040 > > > > > > > > > > 1c60 0000000000000014 0000ffff001c80000000000000000014
> > > > > 0000ffff4022c010` > > > > > > > > > > Could you please help analyze this issue? Many thanks! > > > > > > > > > > Regards, > > > > > Qiang > > > > > > > > > > On Tue, Feb 11, 2025 at 8:43 PM Adam Lackorzynski < > > > > adam@os.inf.tu-dresden.de <mailto:adam@os.inf.tu-dresden.de> > > > > wrote: > > > > > > > > > > > Hi Qiang, > > > > > > > > > > > > looks to me that bootstrap image to load is just toobig as it
> > > > interferes > > > > > > with the reserved PFE areas of the platform. It seemsunfortunate
> > that > > > > > > u-boot allows this to be loaded and that those areasare there at
> > those > > > > > > locations. > > > > > > > > > > > > Anyway, I would recommend to change the loading addressof
> > bootstrap. > > > > > > Please do this by creating a file Makeconf.local in theroot
> > directory > > > > > > of your build-tree > > > > > >(/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir)
> > with > > > > > > the content: > > > > > > DEFAULT_RELOC_arm64 = 0x0ec00000 > > > > > > > > > > > > Then build the image again. Please check the output asit needs to
> > > > state > > > > > > "Start address: 0x86000000" > > > > > > > > > > > > > > > > > > Adam > > > > > > > > > > > > On Mon Feb 10, 2025 at 17:25:22 +0800, qiang xu wrote: > > > > > > > Hi Adam, > > > > > > > > > > > > > > 1. I followed your suggestion and changed *"kernel > > fiasco.debug > > > > > > > -serial_esc"* to *"kernel fiasco -serial_esc"*. > > > > > > > 2. The error *"DT: FDT sanity check failed:FDT_ERR_BADMAGIC
> > (-9) > > > > > > Total > > > > > > > RAM: 0MB"* disappeared after reloading the devicetree (dtb).
> > > > > > > 3. Below is the boot command I used. > > > > > > > > > > > > > > `=> fatload mmc 0 0x80000000 s32g2xxa-evb.dtb > > > > > > > 53414 bytes read in 17 ms (3 MiB/s) > > > > > > > => fatload mmc 0 0x8000e000 l4re_uvmm-2vm.uimage > > > > > > > 44056560 bytes read in 1871 ms (22.5 MiB/s) > > > > > > > => bootm 0x8000e000 - 0x80000000 > > > > > > > ## Booting kernel from Legacy Image at 8000e000 ... > > > > > > > Image Name: L4 Image #10 > > > > > > > Image Type: AArch64 Linux Kernel Image(uncompressed)
> > > > > > > Data Size: 44056496 Bytes = 42 MiB > > > > > > > Load Address: 81200000 > > > > > > > Entry Point: 81200000 > > > > > > > Verifying Checksum ... OK > > > > > > > ## Flattened Device Tree blob at 80000000 > > > > > > > Booting using the fdt blob at 0x80000000 > > > > > > > Loading Kernel Image > > > > > > > Using Device Tree in place at 0000000080000000, end > > > > 00000000800100a5 > > > > > > > fixup: pfe0 set to 00:01:be:be:ef:11 > > > > > > > fixup: pfe1 set to 00:01:be:be:ef:22 > > > > > > > fixup: pfe2 set to 00:01:be:be:ef:33 > > > > > > > > > > > > > > Starting kernel ... > > > > > > > > > > > > > > > > > > > > > L4 Bootstrapper > > > > > > > Build: #10 Mon Feb 10 10:06:07 CST 2025, 11.4.0 > > > > > > > RAM: 0000000080000000 - 00000000ffffffff: 2097152kB > > > > > > > RAM: 0000000880000000 - 00000008dfffffff: 1572864kB > > > > > > > Total RAM: 3584MB > > > > > > > New region for list regions: [ 82ddd000,83bbd807] {
> > > > de0808} > > > > > > Boot > > > > > > > Module > > > > > > > overlaps with: [ 83200000,835dffff] {
> > > > 3e0000} > > > > > > Arch > > > > > > > pfebufs@83200000 > > > > > > > Regions of list 'regions' > > > > > > > [ 34000000, 3407ffff] { 80000} Archpfebufs@34000000
> > > > > > > [ 34080000, 3409ffff] { 20000} Archpfebufs@34080000
> > > > > > > [ 80000000, 8000dfff] { e000} Root dtb > > > > > > > [ 81200000, 8121d777] { 1d778} Bootbootstrap
> > > > > > > [ 81200158, 81200187] { 30} Root cpu_boot > > > > > > > [ 8121e1d0, 8121eac7] { 8f8} Boot modinfo > > > > > > > [ 8121f000, 812e5fe7] { c6fe8} Boot Module > > > > > > > [ 812e6000, 812ebcd7] { 5cd8} Boot Module > > > > > > > [ 812ec000, 8131e6cf] { 326d0} Boot Module > > > > > > > [ 8131f000, 8141258f] { f3590} Boot Module > > > > > > > [ 81413000, 8142e537] { 1b538} Boot Module > > > > > > > [ 8142f000, 814b7aa7] { 88aa8} Boot Module > > > > > > > [ 814b8000, 814c50a5] { d0a6} Boot Module > > > > > > > [ 814c6000, 82dd9a52] { 1913a53} Boot Module > > > > > > > [ 82dda000, 82ddb218] { 1219} Boot Module > > > > > > > [ 82ddc000, 82ddc224] { 225} Boot Module > > > > > > > [ 83200000, 835dffff] { 3e0000} Archpfebufs@83200000
> > > > > > > [ 835e0000, 835fffff] { 20000} Archpfebufs@835e0000
> > > > > > > [ 84000000, 843fffff] { 400000} Archshm@84000000
> > > > > > > [ 85000000, 85000fff] { 1000} Archddr@85000000
> > > > > > > [ c0000000, c03fffff] { 400000} Archshm@c0000000
> > > > > > > [ c0400000, c07fffff] { 400000} Archshm@c0400000
> > > > > > > [ d0000000, d000007f] { 80} Archshm@d0000000
> > > > > > > [ d0000080, d00000ff] { 80} Archshm@d0000080
> > > > > > > [ ff800000, ff9fffff] { 200000} Archatf@ff800000
> > > > > > > region overlap > > > > > > > > > > > > > > Key press reboots... > > > > > > > ` > > > > > > > Please help me analyze where the issue might be.Thank you very
> > much! > > > > > > > > > > > > > > Regards, > > > > > > > Qiang > > > > > > > > > > > > > > On Mon, Feb 10, 2025 at 3:03 AM Adam Lackorzynski <adam@l4re.org <mailto:adam@l4re.org> > > > > > > > wrote: > > > > > > > > > > > > > > > Hi Qiang, > > > > > > > > > > > > > > > > thanks for the description and all the logs. Couldyou also
> > please > > > > > > share > > > > > > > > the command given in u-boot (bootm...)? > > > > > > > > > > > > > > > > From the logs, the following lines look suspicious: > > > > > > > > > > > > > > > > > DT: FDT sanity check failed: FDT_ERR_BADMAGIC (-9) > > > > > > > > > Total RAM: 0MB > > > > > > > > > > > > > > > > Indicating that something with the device tree isnot ok.
> > > > > > > > > > > > > > > > > kernel fiasco.debug -serial_esc > > > > > > > > > > > > > > > > Please use "fiasco" only. The fiasco.debug isconsiderably
> > bigger > > > > to > > > > > > load > > > > > > > > and could contribute to the region overlap. > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > Adam > > > > > > > > > > > > > > > > On Thu Feb 06, 2025 at 19:53:49 +0800, qiang xuwrote:
> > > > > > > > > Hi Adam, > > > > > > > > > I encountered the error "region overlap" whilerunning
> > L4Re on > > > > > > S32G. > > > > > > > > > > > > > > > > > > First, I built the Linux BSP 38.0 using Yocto togenerate the
> > > > Image, > > > > > > > > > s32g2xxa-evb.dtb, andfsl-image-dom0less-s32g274aevb.cpio.gz.
> > > > Then, I > > > > > > > > > compiled the S32G platform's L4Re image using thesnapshots
> > > > > > > > > <https://l4re.org/download/snapshots/README.html <https://l4re.org/download/snapshots/README.html>> method. > > In the > > > > > > > > > modules.list, I added the following: > > > > > > > > > > > > > > > > > > ` > > > > > > > > > entry uvmm-2vm > > > > > > > > > kernel fiasco.debug -serial_esc > > > > > > > > > roottask moe rom/uvmm-2vm.ned > > > > > > > > > module uvmm > > > > > > > > > module l4re > > > > > > > > > module ned > > > > > > > > > module s32g2xxa-evb.dtb > > > > > > > > > module fsl-image-dom0less-s32g274aevb.cpio.gz > > > > > > > > > module[shell] echo$SRC_BASE_ABS/pkg/uvmm/configs/vmm.lua
> > > > > > > > > module uvmm-2vm.ned > > > > > > > > > module Image > > > > > > > > > module cons > > > > > > > > > ` > > > > > > > > > > > > > > > > > > Finally, I ran the command make uimage E=uvmm-2vmPT=s32g in
> > the > > > > > > > > > /l4re-snapshot-24.08.0/obj/l4/builddir directory,which
> > showed > > > > the > > > > > > > > > following output: > > > > > > > > > > > > > > > > > > ` > > > > > > > > > make[1]: Entering directory > > > > > > > > >'/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/src/l4'
> > > > > > > > > [bootstrap - nofpu] ... Building Dependencies > > > > > > > > > Building entry "uvmm-2vm". > > > > > > > > > Merging images: > > > > > > > > > mod00: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/fiasco/builddir/
fiasco.debug > > > > > > > > > [27393kB -> 796kB] > > > > > > > > > mod01: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/sigma0 > > > > > > > > > [24kB] > > > > > > > > > mod02: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/moe > > > > > > > > > [202kB] > > > > > > > > > mod03: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/uvmm > > > > > > > > > [974kB] > > > > > > > > > mod04: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/l4re > > > > > > > > > [110kB] > > > > > > > > > mod05: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/ned > > > > > > > > > [547kB] > > > > > > > > > mod06: > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/s32g2xxa-evb.dtb
> > > > > > > > > [53kB] > > > > > > > > > mod07: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/fsl-image-
dom0less-s32g274aevb.cpio.gz > > > > > > > > > [25679kB] > > > > > > > > > mod08: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/src/l4/pkg/uvmm/configs/
vmm.lua > > > > > > > > > [5kB] > > > > > > > > > mod09: > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/uvmm-2vm.ned
> > > > > > > > > [1kB] > > > > > > > > > mod10: > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/conf/Image
> > > > > > > > > [14211kB] > > > > > > > > > mod11: > > > > > > > > > > > > > > > > > > > > > > > > > > > > >/home/qiangxu/prebuildl4/l4re-snapshot-24.08.0/obj/l4/builddir/bin/
arm64_armv8a/l4f/cons > > > > > > > > > [280kB] > > > > > > > > > [bootstrap - nofpu] ... Generating bootstrap.ld > > > > > > > > > [bootstrap - nofpu] ... Compiling startup.o > > > > > > > > > [bootstrap - nofpu] ==> Linking l4re.elf > > > > > > > > > [bootstrap] ==> Image post-processing l4re.elf > > > > > > > > > [bootstrap - nofpu] ==> l4re.elf built > > > > > > > > > ==> Installing l4re.elf in image directory > > > > > > > > > ==> Installing l4re_uvmm-2vm in image directory > > > > > > > > > ==> Installing l4re_uvmm-2vm.elf in imagedirectory
> > > > > > > > > [bootstrap - nofpu] ... Generating l4re.raw > > > > > > > > > ==> Installing l4re.raw in image directory > > > > > > > > > ==> Installing l4re_uvmm-2vm.raw in imagedirectory
> > > > > > > > > [bootstrap - nofpu] ... Generating l4re.uimage > > > > > > > > > Image Name: L4 Image #9 > > > > > > > > > Created: Thu Feb 6 19:29:02 2025 > > > > > > > > > Image Type: AArch64 Linux Kernel Image(uncompressed)
> > > > > > > > > Data Size: 44056496 Bytes = 43023.92 KiB =42.02 MiB
> > > > > > > > > Load Address: 81200000 > > > > > > > > > Entry Point: 81200000 > > > > > > > > > ==> Installing l4re.uimage in image directory > > > > > > > > > ==> Installing l4re_uvmm-2vm.uimage in imagedirectory
> > > > > > > > > Image size(s) in bytes: > > > > > > > > > l4re_uvmm-2vm.elf: 44692328 > > > > > > > > > l4re.raw: 44056496 > > > > > > > > > l4re.uimage: 44056560 > > > > > > > > > Start address: > > > > > > > > > --> Build-Nr: 9 > > > > > > > > > [bootstrap - nofpu] ==> Installing l4re.elf tolocal
> > build-tree > > > > > > > > > [bootstrap - nofpu] ==> Installing l4re_uvmm-2vmto local
> > > > build-tree > > > > > > > > > [bootstrap - nofpu] ==> Installingl4re_uvmm-2vm.elf to local
> > > > > > build-tree > > > > > > > > > ` > > > > > > > > > Finally, I tried loading the l4re_uvmm-2vm.uimageand
> > > > > > s32g2xxa-evb.dtb > > > > > > > > > files in U-Boot for booting, but it resulted inan error.
> > Can you > > > > > > help me > > > > > > > > > identify where the issue might be? > > > > > > > > > > > > > > > > > > ` > > > > > > > > > L4 Bootstrapper > > > > > > > > > Build: #8 Thu Feb 6 14:58:40 CST 2025, 11.4.0 > > > > > > > > > DT: FDT sanity check failed: FDT_ERR_BADMAGIC (-9) > > > > > > > > > > > > > > > > > > L4 Bootstrapper > > > > > > > > > Build: #8 Thu Feb 6 14:58:40 CST 2025, 11.4.0 > > > > > > > > > Total RAM: 0MB > > > > > > > > > New region for list regions: [ 82ddd000,855979ff] {
> > > > > > 27baa00} > > > > > > > > Boot > > > > > > > > > Module > > > > > > > > > overlaps with: [ 83200000,835dffff] {
> > > > > > 3e0000} > > > > > > > > Arch > > > > > > > > > pfebufs@83200000 > > > > > > > > > Regions of list 'regions' > > > > > > > > > [ 34000000, 3407ffff] { 80000} Arch > > pfebufs@34000000 > > > > > > > > > [ 34080000, 3409ffff] { 20000} Arch > > pfebufs@34080000 > > > > > > > > > [ 80000000, 8000d0a5] { d0a6} Root dtb > > > > > > > > > [ 81200000, 8121d777] { 1d778} Bootbootstrap
> > > > > > > > > [ 81200158, 81200187] { 30} Rootcpu_boot
> > > > > > > > > [ 8121e1d0, 8121eadf] { 910} Bootmodinfo
> > > > > > > > > [ 8121f000, 812e5f7f] { c6f80} BootModule
> > > > > > > > > [ 812e6000, 812ebcd7] { 5cd8} BootModule
> > > > > > > > > [ 812ec000, 8131e6cf] { 326d0} BootModule
> > > > > > > > > [ 8131f000, 8141258f] { f3590} BootModule
> > > > > > > > > [ 81413000, 8142e537] { 1b538} BootModule
> > > > > > > > > [ 8142f000, 814b7aa7] { 88aa8} BootModule
> > > > > > > > > [ 814b8000, 814c50a5] { d0a6} BootModule
> > > > > > > > > [ 814c6000, 82dd9a52] { 1913a53} BootModule
> > > > > > > > > [ 82dda000, 82ddb218] { 1219} BootModule
> > > > > > > > > [ 82ddc000, 82ddc22a] { 22b} BootModule
> > > > > > > > > [ 83200000, 835dffff] { 3e0000} Arch > > pfebufs@83200000 > > > > > > > > > [ 835e0000, 835fffff] { 20000} Arch > > pfebufs@835e0000 > > > > > > > > > [ 84000000, 843fffff] { 400000} Archshm@84000000
> > > > > > > > > [ 85000000, 85000fff] { 1000} Archddr@85000000
> > > > > > > > > [ c0000000, c03fffff] { 400000} Archshm@c0000000
> > > > > > > > > [ c0400000, c07fffff] { 400000} Archshm@c0400000
> > > > > > > > > [ d0000000, d000007f] { 80} Archshm@d0000000
> > > > > > > > > [ d0000080, d00000ff] { 80} Archshm@d0000080
> > > > > > > > > region overlap > > > > > > > > > > > > > > > > > > Key press reboots... > > > > > > > > > > > > > > > > > > ` > > > > > > > > > Regards, > > > > > > > > > Qiang > > > > > > > > > > > > > > > > > > > > > > > > > > > On Wed, Jan 8, 2025 at 10:13 AM qiang xu < > > qiangxu431@gmail.com <mailto:qiangxu431@gmail.com>> > > > > > > wrote: > > > > > > > > > > > > > > > > > > > Hi Adam, > > > > > > > > > > > > > > > > > > > > Awesome, thanks for the info! > > > > > > > > > > > > > > > > > > > > Regards, > > > > > > > > > > Qiang > > > > > > > > > > > > > > > > > > > > On Tue, Jan 7, 2025 at 10:03 PM AdamLackorzynski <
> > > > adam@l4re.org <mailto:adam@l4re.org>> > > > > > > > > wrote: > > > > > > > > > > > > > > > > > > > >> Hi Qiang, > > > > > > > > > >> > > > > > > > > > >> thanks for the great feedback. > > > > > > > > > >> > > > > > > > > > >> It's correct, the L4Re microerkernel Fiascoruns in EL2
> > only. > > > > It > > > > > > runs > > > > > > > > > >> both VMs and L4Re applications side by side,so yes, it
> > is a > > > > > > > > hypervisor > > > > > > > > > >> too. > > > > > > > > > >> > > > > > > > > > >> > > > > > > > > > >> Best regards, > > > > > > > > > >> Adam > > > > > > > > > >> > > > > > > > > > >> On Tue Jan 07, 2025 at 19:34:20 +0800, qiangxu wrote:
> > > > > > > > > >> > Hi Adam, > > > > > > > > > >> > > > > > > > > > > >> > Thank you very much for your support. Theexplanation
> > was > > > > very > > > > > > > > clear. > > > > > > > > > >> From > > > > > > > > > >> > the printed information, it seems to berunning fine. I
> > > > have one > > > > > > > > more > > > > > > > > > >> > question: Can Fiasco be used as ahypervisor? From the
> > > > example > > > > > > of > > > > > > > > > >> > l4re_VM-multi, it seems to have the abilityto run
> > multiple > > > > > > > > operating > > > > > > > > > >> > systems on a single platform, and in L4Re,only Fiasco
> > runs > > > > in > > > > > > EL2 > > > > > > > > > >> > privilege level. I'm not sure if Iunderstand this
> > > > correctly, > > > > > > so I > > > > > > > > > >> wanted > > > > > > > > > >> > to confirm with you. If it cannot be used asa
> > hypervisor, > > > > what > > > > > > > > > >> > functionality does it lack that a hypervisorwould
> > typically > > > > > > have? > > > > > > > > > >> > > > > > > > > > > >> > Regards, > > > > > > > > > >> > Qiang > > > > > > > > > >> > > > > > > > > > > >> > > > > > > > > > > >> > On Tue, Jan 7, 2025 at 7:53 AM AdamLackorzynski <
> > > > adam@l4re.org <mailto:adam@l4re.org> > > > > > > > > > > > > > > > wrote: > > > > > > > > > >> > > > > > > > > > > >> > > Hi Qiang, > > > > > > > > > >> > > > > > > > > > > > >> > > If I'm not mistaken, the provided BSP isusing u-boot.
> > > > With > > > > > > > > u-boot, > > > > > > > > > >> the > > > > > > > > > >> > > uimage file is a good fit. When bootingup, you can
> > stop > > > > at > > > > > > the > > > > > > > > u-boot > > > > > > > > > >> > > prompt and do something like this: > > > > > > > > > >> > > # fatload mmc 0 0x80f00000fsl-s32g274a-evb.dtb
> > > > > > > > > >> > > # fatload mmc 0 0x80ffffc0 > > l4re_vm-multi-p2p_s32g.uimage > > > > > > > > > >> > > # bootm 0x80ffffc0 - 0x80f00000 > > > > > > > > > >> > > > > > > > > > > > >> > > You need to copy thel4re_vm-multi-p2p_s32g.uimage
> > file to > > > > > > the mmc > > > > > > > > > >> first > > > > > > > > > >> > > of course, for example, through Linux. > > > > > > > > > >> > > Alternative you could also load theelf-image or
> > raw-image > > > > > > into > > > > > > > > memory > > > > > > > > > >> > > via your hardware debugger, whatevermethod the
> > debugger > > > > > > > > supports. Do > > > > > > > > > >> it > > > > > > > > > >> > > by intercepting at the u-boot prompt. > > > > > > > > > >> > > > > > > > > > > > >> > > A third option is to use the tftp network > > capabilities of > > > > > > u-boot > > > > > > > > to > > > > > > > > > >> load > > > > > > > > > >> > > the uimage via network. > > > > > > > > > >> > > > > > > > > > > > >> > > > > > > > > > > > >> > > > > > > > > > > > >> > > Adam > > > > > > > > > >> > > > > > > > > > > > >> > > On Mon Jan 06, 2025 at 11:04:35 +0800,qiang xu wrote:
> > > > > > > > > >> > > > Hi Adam, > > > > > > > > > >> > > > > > > > > > > > > >> > > > Thank you for your response. > > > > > > > > > >> > > > > > > > > > > > > >> > > > I found the following images in the L4Repre-built
> > > > images > > > > > > > > folder: > > > > > > > > > >> > > > “l4re_vm-multi-p2p_s32g.efi,” > > > > “l4re_vm-multi-p2p_s32g.elf,” > > > > > > and > > > > > > > > > >> > > > “l4re_vm-multi-p2p_s32g.uimage.” I wouldlike to
> > > > understand > > > > > > how > > > > > > > > > >> these > > > > > > > > > >> > > > images can be combined with the BSPbuilt using
> > Yocto > > > > and > > > > > > > > placed on > > > > > > > > > >> the > > > > > > > > > >> > > SD > > > > > > > > > >> > > > card for booting. > > > > > > > > > >> > > > > > > > > > > > > >> > > > I have been following the examples fromthe L4Re
> > wiki > > > > > > > > > >> > > > < > > > > https://github.com/kernkonzept/manifest/wiki/MultipleVMs<https://
github.com/kernkonzept/manifest/wiki/MultipleVMs>> > > > > > > to > > > > > > > > get > > > > > > > > > >> > > started > > > > > > > > > >> > > > with L4Re. These examples run very wellon QEMU, but
> > > > there > > > > > > is an > > > > > > > > > >> issue—I > > > > > > > > > >> > > am > > > > > > > > > >> > > > unable to use GDB to debug the Fiascokernel.I
> > noticed > > > > that > > > > > > L4Re > > > > > > > > > >> can also > > > > > > > > > >> > > > run on the S32G platform, so I wouldlike to run
> > L4Re on > > > > > > S32G > > > > > > > > and > > > > > > > > > >> use a > > > > > > > > > >> > > > hardware debugging tool to debug theFiasco kernel
> > > > during > > > > > > its > > > > > > > > > >> execution. > > > > > > > > > >> > > > However, the wiki does not provideinstructions on
> > how > > > > to > > > > > > run > > > > > > > > L4Re > > > > > > > > > >> on > > > > > > > > > >> > > real > > > > > > > > > >> > > > hardware.Therefore, I would like yourguidance on
> > how to > > > > > > run the > > > > > > > > > >> examples > > > > > > > > > >> > > > from the wiki < > > > > > > > > > >> https://github.com/kernkonzept/manifest/wiki/ MultipleVMs <https://github.com/kernkonzept/manifest/wiki/MultipleVMs%3E%3E
> > > > > > > > > >> > > on > > > > > > > > > >> > > > the S32G platform and boot from an SDcard.
> > > > > > > > > >> > > > > > > > > > > > > >> > > > Regards, > > > > > > > > > >> > > > Qiang > > > > > > > > > >> > > > > > > > > > > > > >> > > > On Mon, Jan 6, 2025 at 9:56 AM AdamLackorzynski <
> > > > > > adam@l4re.org <mailto:adam@l4re.org> > > > > > > > > > > > > > > > > > > >> wrote: > > > > > > > > > >> > > > > > > > > > > > > >> > > > > Hi Qiang, > > > > > > > > > >> > > > > > > > > > > > > > >> > > > > On Sat Jan 04, 2025 at 17:03:21 +0800,qiang xu
> > wrote: > > > > > > > > > >> > > > > > I would like to know how to run L4Reon the
> > S32G. I > > > > > > couldn’t > > > > > > > > > >> find any > > > > > > > > > >> > > > > > related documentation. I’m abeginner in this
> > > > technical > > > > > > > > field, > > > > > > > > > >> so > > > > > > > > > >> > > could > > > > > > > > > >> > > > > you > > > > > > > > > >> > > > > > provide friendly step-by-stepinstructions?
> > > > > > > > > >> > > > > > > > > > > > > > >> > > > > One option is to use the snapshot from l4re.org <http://l4re.org> > > as it > > > > > > has a > > > > > > > > > >> > > menu-driven > > > > > > > > > >> > > > > target selection which includes theS32G. This
> > hides > > > > > > quite a > > > > > > > > few > > > > > > > > > >> of the > > > > > > > > > >> > > > > details but gives examples for theS32G right
> > away. > > > > > > > > > >> > > > > How do you boot your S32G? > > > >
l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de
-- philipp.eppelt@kernkonzept.com - Tel. 0351-41 883 221 http://www.kernkonzept.com
Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth
l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de
_______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de