Re: How to L4Re on the S32G
Adam Lackorzynski <[email protected]> Sat, 22 Feb 2025 07:54:14 +0100
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Qiang,
what should the initrd, i.e., /init, actually do? Any change when you
write init=/bin/sh instead of init=/init?
Adam
On Fri Feb 21, 2025 at 11:27:07 +0800, qiang xu wrote:
> 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[]: [email protected],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 <[email protected]>
> 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 <
> [email protected]> 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[]: [email protected],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 <[email protected]
> > > <mailto:[email protected]>> wrote:
> > >
> > > Hi Qiang,
> > >
> > > what you did is good.
> > >
> > > The messages shown are giving hints on the setup and are not
> > generally
> > > bad.
> > > If the ioproxy says there's no resource it means that a
> > device/resource
> > > is listed in the device tree but not on the vbus, i.e. this resource
> > is
> > > 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 also
> > the
> > > reason why no output from Linux is seen. You already noticed as well.
> > > pl011 and linflex are not compatible. What I would propose is that
> > you
> > > add a node in the DT for the pl011, as uvmm can emulate this UART
> > type.
> > > 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 address
> > space
> > > of your guest (aka a range not used in the device tree) and change
> > the
> > > 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 *"uvmm
> > virtual
> > > > 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, when
> > I 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, 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: #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 support
> > OS-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] level
> > high (align=0
> > > > flags=300001)
> > > > io | Resources: ===== end =====
> > > > io | UART0: [N2Vi9Proxy_devE]
> > > > io | Resources: ==== start ====
> > > > io | IRQ [00000000000052-00000000000052 1] raising
> > edge
> > > > (align=0 flags=100001)
> > > > io | IOMEM [000000401c8000-000000401cb000 3001] 32-bit
> > non-pref
> > > > (align=3000 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 [00000000000052-00000000000052 1] raising
> > edge
> > > > (align=0 flags=100001)
> > > > io | IOMEM [000000401c8000-000000401cb000 3001] 32-bit
> > non-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 default
> > region
> > > > 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. 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'
> > > > 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@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-9fff431]
> > > > ([90df2000])
> > > > io | new iomem region: p=00000040000000 v=00000000400000
> > s=400000
> > > > (bmb=0x39bd0)
> > > > io | map mem: p=000000401c8000 v=000000005c8000 s=4000
> > 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: 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. I
> > am not sure
> > > > what the cause is, so I would appreciate your help in analyzing
> > it. 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-uart
> > device in
> > > > device tree!". So, I changed it to arm,pl011, but the issue was
> > not
> > > > resolved. This could be the problem. Do I need to write a driver
> > for
> > > > 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 <[email protected]
> > > <mailto:[email protected]>> wrote:
> > > >
> > > > > Hi Qiang,
> > > > >
> > > > > the location where it stops could be the one when it is tried
> > to enable
> > > > > cores. Do you have PSCI enabled in the microkernel
> > configuration? 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 jdb
> > after pressing
> > > > > > 'esc'.
> > > > > >
> > > > > > Regards,
> > > > > > Qiang
> > > > > >
> > > > > > On Sat, Feb 15, 2025 at 1:31 AM Adam Lackorzynski <
> > [email protected]
> > > <mailto:[email protected]>> 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 your
> > suggestion,
> > > > > I
> > > > > > > > added "DEFAULT_RELOC_arm64 = 0x0ec00000" to the
> > Makeconf.local file
> > > > > in
> > > > > > > the
> > > > > > > > root directory and then rebuilt the system. Upon checking
> > the "Start
> > > > > > > > address: 0x86000000", I found that after rebuilding with
> > 0x0ec00000,
> > > > > the
> > > > > > > > start address became 0x8ee00000. So, I changed
> > DEFAULT_RELOC_arm64 to
> > > > > > > > 0x05e00000, and after rebuilding, the start address was
> > 0x86000000,
> > > > > which
> > > > > > > > meets the requirement.
> > > > > > >
> > > > > > > Thanks for the fix, of course it was 0x05e00000.
> > > > > > >
> > > > > > > That's now interesting what is happening. Did it go into
> > jdb itself or
> > > > > > > did you press ESC to get to the jdb? If it was itself, was
> > there 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$ cat
> > Makeconf.local
> > > > > > > > CROSS_COMPILE:=aarch64-linux-gnu-
> > > > > > > > DEFAULT_RELOC_arm64 = 0x05e00000`
> > > > > > > >
> > > > > > > > Build information:
> > > > > > > > `/l4re-snapshot-24.08.0/obj/l4/builddir$ make uimage
> > E=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 local
> > build-tree
> > > > > > > > [bootstrap - nofpu] ==> Installing l4re_uvmm-2vm to
> > local
> > > > > build-tree
> > > > > > > > [bootstrap - nofpu] ==> Installing l4re_uvmm-2vm.elf to
> > local
> > > > > > > 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. Although
> > this solved
> > > > > the
> > > > > > > > previous overlap issue, it seems to hang and does not
> > boot 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 another
> > computer using the
> > > > > > > Yocto
> > > > > > > > toolchain provided by NXP for S32G, while this machine
> > > > > > > > uses`CROSS_COMPILE:=aarch64-linux-gnu-`to compile Fiasco
> > and 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 t
> > command 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 ldp
> > x19, 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=0000000000000000
> > uro=0000000000000000
> > > > > > > > pc=0000ffff4022ba98 ksp=0000ffff8d5c1d40
> > x30=0000ffff4022ba8c
> > > > > > > > 1c00 0000000000000000 0000ffff40280980
> > 0000000000000000
> > > > > > > 0000ffff40286930
> > > > > > > > 1c20 0000000000000000 0000000000000014
> > 0000ffff402801e0
> > > > > > > 0000ffff40286ab8
> > > > > > > > 1c40 0000000000000000 0000000000000088
> > 0000000000000014
> > > > > > > 0000000000000040
> > > > > > > >
> > > > > > > > 1c60 0000000000000014 0000ffff001c8000
> > 0000000000000014
> > > > > > > > 0000ffff4022c010`
> > > > > > > >
> > > > > > > > Could you please help analyze this issue? Many thanks!
> > > > > > > >
> > > > > > > > Regards,
> > > > > > > > Qiang
> > > > > > > >
> > > > > > > > On Tue, Feb 11, 2025 at 8:43 PM Adam Lackorzynski <
> > > > > > > [email protected] <mailto:[email protected]
> > >>
> > > > > > > > wrote:
> > > > > > > >
> > > > > > > > > Hi Qiang,
> > > > > > > > >
> > > > > > > > > looks to me that bootstrap image to load is just too
> > big as it
> > > > > > > interferes
> > > > > > > > > with the reserved PFE areas of the platform. It seems
> > unfortunate
> > > > > that
> > > > > > > > > u-boot allows this to be loaded and that those areas
> > are there at
> > > > > those
> > > > > > > > > locations.
> > > > > > > > >
> > > > > > > > > Anyway, I would recommend to change the loading address
> > of
> > > > > bootstrap.
> > > > > > > > > Please do this by creating a file Makeconf.local in the
> > root
> > > > > 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 as
> > it 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 device
> > tree (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} Arch
> > pfebufs@34000000
> > > > > > > > > > [ 34080000, 3409ffff] { 20000} Arch
> > pfebufs@34080000
> > > > > > > > > > [ 80000000, 8000dfff] { e000} Root dtb
> > > > > > > > > > [ 81200000, 8121d777] { 1d778} Boot
> > bootstrap
> > > > > > > > > > [ 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} Arch
> > pfebufs@83200000
> > > > > > > > > > [ 835e0000, 835fffff] { 20000} Arch
> > pfebufs@835e0000
> > > > > > > > > > [ 84000000, 843fffff] { 400000} Arch
> > shm@84000000
> > > > > > > > > > [ 85000000, 85000fff] { 1000} Arch
> > ddr@85000000
> > > > > > > > > > [ 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
> > > > > > > > > > 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
> > > <[email protected] <mailto:[email protected]>
> > > > > >
> > > > > > > wrote:
> > > > > > > > > >
> > > > > > > > > > > Hi Qiang,
> > > > > > > > > > >
> > > > > > > > > > > thanks for the description and all the logs. Could
> > you 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 is
> > not ok.
> > > > > > > > > > >
> > > > > > > > > > > > kernel fiasco.debug -serial_esc
> > > > > > > > > > >
> > > > > > > > > > > Please use "fiasco" only. The fiasco.debug is
> > considerably
> > > > > bigger
> > > > > > > to
> > > > > > > > > load
> > > > > > > > > > > and could contribute to the region overlap.
> > > > > > > > > > >
> > > > > > > > > > >
> > > > > > > > > > >
> > > > > > > > > > > Adam
> > > > > > > > > > >
> > > > > > > > > > > On Thu Feb 06, 2025 at 19:53:49 +0800, qiang xu
> > wrote:
> > > > > > > > > > > > Hi Adam,
> > > > > > > > > > > > I encountered the error "region overlap" while
> > running
> > > > > L4Re on
> > > > > > > > > S32G.
> > > > > > > > > > > >
> > > > > > > > > > > > First, I built the Linux BSP 38.0 using Yocto to
> > generate the
> > > > > > > Image,
> > > > > > > > > > > > s32g2xxa-evb.dtb, and
> > fsl-image-dom0less-s32g274aevb.cpio.gz.
> > > > > > > Then, I
> > > > > > > > > > > > compiled the S32G platform's L4Re image using the
> > snapshots
> > > > > > > > > > > > <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-2vm
> > PT=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 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 #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 image
> > directory
> > > > > > > > > > > > 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 to
> > local
> > > > > build-tree
> > > > > > > > > > > > [bootstrap - nofpu] ==> Installing l4re_uvmm-2vm
> > to local
> > > > > > > build-tree
> > > > > > > > > > > > [bootstrap - nofpu] ==> Installing
> > l4re_uvmm-2vm.elf to local
> > > > > > > > > build-tree
> > > > > > > > > > > > `
> > > > > > > > > > > > Finally, I tried loading the l4re_uvmm-2vm.uimage
> > and
> > > > > > > > > s32g2xxa-evb.dtb
> > > > > > > > > > > > files in U-Boot for booting, but it resulted in
> > an 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} Boot
> > bootstrap
> > > > > > > > > > > > [ 81200158, 81200187] { 30} Root
> > cpu_boot
> > > > > > > > > > > > [ 8121e1d0, 8121eadf] { 910} Boot
> > modinfo
> > > > > > > > > > > > [ 8121f000, 812e5f7f] { c6f80} 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, 82ddc22a] { 22b} Boot
> > Module
> > > > > > > > > > > > [ 83200000, 835dffff] { 3e0000} Arch
> > > > > pfebufs@83200000
> > > > > > > > > > > > [ 835e0000, 835fffff] { 20000} Arch
> > > > > pfebufs@835e0000
> > > > > > > > > > > > [ 84000000, 843fffff] { 400000} Arch
> > shm@84000000
> > > > > > > > > > > > [ 85000000, 85000fff] { 1000} Arch
> > ddr@85000000
> > > > > > > > > > > > [ c0000000, c03fffff] { 400000} Arch
> > shm@c0000000
> > > > > > > > > > > > [ c0400000, c07fffff] { 400000} Arch
> > shm@c0400000
> > > > > > > > > > > > [ d0000000, d000007f] { 80} Arch
> > shm@d0000000
> > > > > > > > > > > > [ d0000080, d00000ff] { 80} Arch
> > shm@d0000080
> > > > > > > > > > > > region overlap
> > > > > > > > > > > >
> > > > > > > > > > > > Key press reboots...
> > > > > > > > > > > >
> > > > > > > > > > > > `
> > > > > > > > > > > > Regards,
> > > > > > > > > > > > Qiang
> > > > > > > > > > > >
> > > > > > > > > > > >
> > > > > > > > > > > > On Wed, Jan 8, 2025 at 10:13 AM qiang xu <
> > > > > [email protected] <mailto:[email protected]>>
> > > > > > > > > wrote:
> > > > > > > > > > > >
> > > > > > > > > > > > > Hi Adam,
> > > > > > > > > > > > >
> > > > > > > > > > > > > Awesome, thanks for the info!
> > > > > > > > > > > > >
> > > > > > > > > > > > > Regards,
> > > > > > > > > > > > > Qiang
> > > > > > > > > > > > >
> > > > > > > > > > > > > On Tue, Jan 7, 2025 at 10:03 PM Adam
> > Lackorzynski <
> > > > > > > [email protected] <mailto:[email protected]>>
> > > > > > > > > > > wrote:
> > > > > > > > > > > > >
> > > > > > > > > > > > >> Hi Qiang,
> > > > > > > > > > > > >>
> > > > > > > > > > > > >> thanks for the great feedback.
> > > > > > > > > > > > >>
> > > > > > > > > > > > >> It's correct, the L4Re microerkernel Fiasco
> > runs 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, qiang
> > xu wrote:
> > > > > > > > > > > > >> > Hi Adam,
> > > > > > > > > > > > >> >
> > > > > > > > > > > > >> > Thank you very much for your support. The
> > explanation
> > > > > was
> > > > > > > very
> > > > > > > > > > > clear.
> > > > > > > > > > > > >> From
> > > > > > > > > > > > >> > the printed information, it seems to be
> > running fine. I
> > > > > > > have one
> > > > > > > > > > > more
> > > > > > > > > > > > >> > question: Can Fiasco be used as a
> > hypervisor? From the
> > > > > > > example
> > > > > > > > > of
> > > > > > > > > > > > >> > l4re_VM-multi, it seems to have the ability
> > to run
> > > > > multiple
> > > > > > > > > > > operating
> > > > > > > > > > > > >> > systems on a single platform, and in L4Re,
> > only Fiasco
> > > > > runs
> > > > > > > in
> > > > > > > > > EL2
> > > > > > > > > > > > >> > privilege level. I'm not sure if I
> > understand this
> > > > > > > correctly,
> > > > > > > > > so I
> > > > > > > > > > > > >> wanted
> > > > > > > > > > > > >> > to confirm with you. If it cannot be used as
> > a
> > > > > hypervisor,
> > > > > > > what
> > > > > > > > > > > > >> > functionality does it lack that a hypervisor
> > would
> > > > > typically
> > > > > > > > > have?
> > > > > > > > > > > > >> >
> > > > > > > > > > > > >> > Regards,
> > > > > > > > > > > > >> > Qiang
> > > > > > > > > > > > >> >
> > > > > > > > > > > > >> >
> > > > > > > > > > > > >> > On Tue, Jan 7, 2025 at 7:53 AM Adam
> > Lackorzynski <
> > > > > > > [email protected] <mailto:[email protected]>
> > > > > > > > > >
> > > > > > > > > > > wrote:
> > > > > > > > > > > > >> >
> > > > > > > > > > > > >> > > Hi Qiang,
> > > > > > > > > > > > >> > >
> > > > > > > > > > > > >> > > If I'm not mistaken, the provided BSP is
> > using u-boot.
> > > > > > > With
> > > > > > > > > > > u-boot,
> > > > > > > > > > > > >> the
> > > > > > > > > > > > >> > > uimage file is a good fit. When booting
> > up, you can
> > > > > stop
> > > > > > > at
> > > > > > > > > the
> > > > > > > > > > > u-boot
> > > > > > > > > > > > >> > > prompt and do something like this:
> > > > > > > > > > > > >> > > # fatload mmc 0 0x80f00000
> > fsl-s32g274a-evb.dtb
> > > > > > > > > > > > >> > > # fatload mmc 0 0x80ffffc0
> > > > > l4re_vm-multi-p2p_s32g.uimage
> > > > > > > > > > > > >> > > # bootm 0x80ffffc0 - 0x80f00000
> > > > > > > > > > > > >> > >
> > > > > > > > > > > > >> > > You need to copy the
> > l4re_vm-multi-p2p_s32g.uimage
> > > > > file to
> > > > > > > > > the mmc
> > > > > > > > > > > > >> first
> > > > > > > > > > > > >> > > of course, for example, through Linux.
> > > > > > > > > > > > >> > > Alternative you could also load the
> > elf-image or
> > > > > raw-image
> > > > > > > > > into
> > > > > > > > > > > memory
> > > > > > > > > > > > >> > > via your hardware debugger, whatever
> > method 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 L4Re
> > pre-built
> > > > > > > images
> > > > > > > > > > > folder:
> > > > > > > > > > > > >> > > > “l4re_vm-multi-p2p_s32g.efi,”
> > > > > > > “l4re_vm-multi-p2p_s32g.elf,”
> > > > > > > > > and
> > > > > > > > > > > > >> > > > “l4re_vm-multi-p2p_s32g.uimage.” I would
> > like to
> > > > > > > understand
> > > > > > > > > how
> > > > > > > > > > > > >> these
> > > > > > > > > > > > >> > > > images can be combined with the BSP
> > built using
> > > > > Yocto
> > > > > > > and
> > > > > > > > > > > placed on
> > > > > > > > > > > > >> the
> > > > > > > > > > > > >> > > SD
> > > > > > > > > > > > >> > > > card for booting.
> > > > > > > > > > > > >> > > >
> > > > > > > > > > > > >> > > > I have been following the examples from
> > the 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 well
> > on QEMU, but
> > > > > > > there
> > > > > > > > > is an
> > > > > > > > > > > > >> issue—I
> > > > > > > > > > > > >> > > am
> > > > > > > > > > > > >> > > > unable to use GDB to debug the Fiasco
> > kernel.I
> > > > > noticed
> > > > > > > that
> > > > > > > > > L4Re
> > > > > > > > > > > > >> can also
> > > > > > > > > > > > >> > > > run on the S32G platform, so I would
> > like to run
> > > > > L4Re on
> > > > > > > > > S32G
> > > > > > > > > > > and
> > > > > > > > > > > > >> use a
> > > > > > > > > > > > >> > > > hardware debugging tool to debug the
> > Fiasco kernel
> > > > > > > during
> > > > > > > > > its
> > > > > > > > > > > > >> execution.
> > > > > > > > > > > > >> > > > However, the wiki does not provide
> > instructions on
> > > > > how
> > > > > > > to
> > > > > > > > > run
> > > > > > > > > > > L4Re
> > > > > > > > > > > > >> on
> > > > > > > > > > > > >> > > real
> > > > > > > > > > > > >> > > > hardware.Therefore, I would like your
> > guidance on
> > > > > how to
> > > > > > > > > run the
> > > > > > > > > > > > >> examples
> > > > > > > > > > > > >> > > > from the wiki <
> > > > > > > > > > > > >> https://github.com/kernkonzept/manifest/wiki/
> > > MultipleVMs <
> > https://github.com/kernkonzept/manifest/wiki/MultipleVMs>>
> > > > > > > > > > > > >> > > on
> > > > > > > > > > > > >> > > > the S32G platform and boot from an SD
> > card.
> > > > > > > > > > > > >> > > >
> > > > > > > > > > > > >> > > > Regards,
> > > > > > > > > > > > >> > > > Qiang
> > > > > > > > > > > > >> > > >
> > > > > > > > > > > > >> > > > On Mon, Jan 6, 2025 at 9:56 AM Adam
> > Lackorzynski <
> > > > > > > > > [email protected] <mailto:[email protected]>
> > > > > > > > > > > >
> > > > > > > > > > > > >> wrote:
> > > > > > > > > > > > >> > > >
> > > > > > > > > > > > >> > > > > Hi Qiang,
> > > > > > > > > > > > >> > > > >
> > > > > > > > > > > > >> > > > > On Sat Jan 04, 2025 at 17:03:21 +0800,
> > qiang xu
> > > > > wrote:
> > > > > > > > > > > > >> > > > > > I would like to know how to run L4Re
> > on the
> > > > > S32G. I
> > > > > > > > > couldn’t
> > > > > > > > > > > > >> find any
> > > > > > > > > > > > >> > > > > > related documentation. I’m a
> > beginner in this
> > > > > > > technical
> > > > > > > > > > > field,
> > > > > > > > > > > > >> so
> > > > > > > > > > > > >> > > could
> > > > > > > > > > > > >> > > > > you
> > > > > > > > > > > > >> > > > > > provide friendly step-by-step
> > instructions?
> > > > > > > > > > > > >> > > > >
> > > > > > > > > > > > >> > > > > One option is to use the snapshot from
> > > l4re.org <http://l4re.org>
> > > > > as it
> > > > > > > > > has a
> > > > > > > > > > > > >> > > menu-driven
> > > > > > > > > > > > >> > > > > target selection which includes the
> > S32G. This
> > > > > hides
> > > > > > > > > quite a
> > > > > > > > > > > few
> > > > > > > > > > > > >> of the
> > > > > > > > > > > > >> > > > > details but gives examples for the
> > S32G right
> > > > > away.
> > > > > > > > > > > > >> > > > > How do you boot your S32G?
> > > > > > >
> > >
> > >
> > > _______________________________________________
> > > l4-hackers mailing list -- [email protected]
> > > To unsubscribe send an email to [email protected]
> >
> > --
> > [email protected] - 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 -- [email protected]
> > To unsubscribe send an email to [email protected]
> >
> _______________________________________________
_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]