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,Hi Qiang,
I see these lines in the linux boot output, which make me wonder, if the VM has
enough RAM:
> vm1 | [ 0.000000] cma: Failed to reserve 256 MiB
> [...]
> vm1 | [ 0.112053] Unpacking initramfs...
> vm1 | [ 0.946302] Initramfs unpacking failed: write error
> vm1 | [ 0.959998] Freeing initrd memory: 25676K
Please increase the amount of RAM for the VM. Currently, your uvmm-io.ned
specifies 128MB. Please try 512MB or more.
Cheers,
Philipp
Am 20.02.25 um 12:20 PM schrieb qiang xu:
> Hi Adam，
>
> I would like to sincerely thank you again for your help. According to what you
> said, I have added the UART to the device tree, and I can now see the system
> startup prints. However, it seems that the kernel cannot find the rootfs. What
> should I configure in L4? Have I missed any configurations?
>
> fatload mmc 0 0x8000e000 l4re_uvmm-io.uimage
> 46235855 bytes read in 1971 ms (22.4 MiB/s)
> => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb1
> 54149 bytes read in 17 ms (3 MiB/s)
> => bootm 0x8000e000 - 0x80000000
> ## Booting kernel from Legacy Image at 8000e000 ...
> Image Name: L4 Image #26
> Image Type: AArch64 Linux Kernel Image (uncompressed)
> Data Size: 46235791 Bytes = 44.1 MiB
> Load Address: 91000000
> Entry Point: 91000000
> Verifying Checksum ... OK
> ## Flattened Device Tree blob at 80000000
> Booting using the fdt blob at 0x80000000
> Loading Kernel Image
> Using Device Tree in place at 0000000080000000, end 0000000080010384
> fixup: pfe0 set to 00:01:be:be:ef:11
> fixup: pfe1 set to 00:01:be:be:ef:22
> fixup: pfe2 set to 00:01:be:be:ef:33
>
> Starting kernel ...
>
>
> L4 Bootstrapper
> Build: #26 Thu Feb 20 19:07:32 CST 2025, 11.4.0
> RAM: 0000000080000000 - 00000000ffffffff: 2097152kB
> RAM: 0000000880000000 - 00000008dfffffff: 1572864kB
> Total RAM: 3584MB
> Scanning fiasco
> Scanning sigma0
> Scanning moe
> Moving up to 15 modules behind 81300000
> moving module 00 { 9101f000-910e5fe7 } -> { 8600a000-860d0fe7 } [815080]
> moving module 01 { 910e6000-910ebcd7 } -> { 860d1000-860d6cd7 } [23768]
> moving module 02 { 910ec000-9111e6cf } -> { 860d7000-861096cf } [206544]
> moving module 03 { 9111f000-9121258f } -> { 8610a000-861fd58f } [996752]
> moving module 04 { 91213000-9122e537 } -> { 861fe000-86219537 } [111928]
> moving module 05 { 9122f000-912b7aa7 } -> { 8621a000-862a2aa7 } [559784]
> moving module 06 { 912b8000-912c5384 } -> { 862a3000-862b0384 } [54149]
> moving module 07 { 912c6000-92bd9a52 } -> { 862b1000-87bc4a52 } [26294867]
> moving module 08 { 92bda000-92bdb218 } -> { 87bc5000-87bc6218 } [4633]
> moving module 09 { 92bdc000-92bdc29a } -> { 87bc7000-87bc729a } [667]
> moving module 10 { 92bdd000-939bd807 } -> { 87bc8000-889a8807 } [14551048]
> moving module 11 { 939be000-93a03faf } -> { 889a9000-889eefaf } [286640]
> moving module 12 { 93a04000-93c16a87 } -> { 889ef000-88c01a87 } [2173576]
> moving module 13 { 93c17000-93c171f7 } -> { 88c02000-88c021f7 } [504]
> moving module 14 { 93c18000-93c1808e } -> { 88c03000-88c0308e } [143]
> Loading fiasco
> found node 0 kernel info page (via ELF) at 0x80203000
> Loading sigma0
> Loading moe
> found node 0 kernel options (via ELF) at 0x80204000
> Sigma0 config node: 0 ip:860003f4
> Roottask config node: 0 ip:80841904
> Regions of list 'regions'
> [ 34000000, 3407ffff] { 80000} Arch pfebufs@34000000
> [ 34080000, 3409ffff] { 20000} Arch pfebufs@34080000
> [ 80000000, 8000dfff] { e000} Root dtb
> [ 8000e000, 8000efff] { 1000} Root mbi_rt
> [ 80201000, 80205847] { 4848} Kern fiasco
> [ 80400000, 8061dfff] { 21e000} Kern fiasco
> [ 80840000, 8087d817] { 3d818} Root moe
> [ 83200000, 835dffff] { 3e0000} Arch pfebufs@83200000
> [ 835e0000, 835fffff] { 20000} Arch pfebufs@835e0000
> [ 84000000, 843fffff] { 400000} Arch shm@84000000
> [ 85000000, 85000fff] { 1000} Arch ddr@85000000
> [ 86000000, 8600946f] { 9470} Sigma0 sigma0
> [ 8610a000, 88c0308e] { 2af908f} Root Module
> [ 91000158, 91000187] { 30} Root cpu_boot
> [ 9101e1d0, 9101ecdc] { b0d} Boot modinfo
> [ c0000000, c03fffff] { 400000} Arch shm@c0000000
> [ c0400000, c07fffff] { 400000} Arch shm@c0400000
> [ d0000000, d000007f] { 80} Arch shm@d0000000
> [ d0000080, d00000ff] { 80} Arch shm@d0000080
> [ ff800000, ff9fffff] { 200000} Arch atf@ff800000
> Starting kernel fiasco at 80201190
> Hello from Startup::stage2
> Reserved 216 MiB as kernel memory.
> Number of IRQs available at this GIC: 576
> CPU0: GIC Redistributor at ffff00480000 for 0x0
> Detecting PSCI ...
> Detected PSCI v1.1
> PSCI: CPU_SUSPEND format original v0.2, does not support OS-initiated mode
> PSCI: TOS: Not present or not required.
> FPU: Initialize
> ARM generic timer: freq=5000000 interval=5000 cnt=339090240
> SERIAL ESC: allocated IRQ 114 for serial uart
> Not using serial hack in slow timer handler.
> Welcome to the L4Re Microkernel!
> L4Re Microkernel on arm-64
> Rev: unknown compiled with gcc 11.4.0 for NXP S32G []
> Build: #12 Tue Feb 18 14:17:13 CST 2025
>
> Cache config: ON
> CPU1: GIC Redistributor at ffff004a0000 for 0x1
> CPU1: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000
> ID_MMFR[04]: 00001122 00000000 00000000 00000000
> CPU2: GIC Redistributor at ffff004c0000 for 0x100
> CPU2: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000
> ID_MMFR[04]: 00001122 00000000 00000000 00000000
> CPU3: GIC Redistributor at ffff004e0000 for 0x101
> Calibrating timer loop...
> CPU3: ID_PFR[01]: 01002222 00000000 ID_[DA]FR0: 10305106 00000000
> ID_MMFR[04]: 00001122 00000000 00000000 00000000
> Timer calibration done.
> MDB: use page size: 30
> MDB: use page size: 21
> MDB: use page size: 12
> SIGMA0: Hello!
> KIP @ 80203000
> allocated 4KB for maintenance structures
> SIGMA0: Dump of all resource maps
> RAM:------------------------
> [4:---:80000000;8000dfff]
> [4:RWX:8000e000;8000efff]
> [0:RWX:8000f000;80200fff]
> [0:RWX:80206000;803fffff]
> [0:RWX:8061e000;8083ffff]
> [4:RWX:80840000;8087dfff]
> [0:RWX:8087e000;831fffff]
> [0:RWX:83600000;83ffffff]
> [0:RWX:84400000;84ffffff]
> [0:RWX:85001000;85ffffff]
> [0:RWX:8600a000;86109fff]
> [4:RWX:8610a000;88c03fff]
> [0:RWX:88c04000;90ffffff]
> [4:---:91000000;91000fff]
> [0:RWX:91001000;bfffffff]
> [0:RWX:c0800000;cfffffff]
> [0:RWX:d0001000;ff7fffff]
> [0:RWX:ffa00000;ffffffff]
> [0:RWX:880000000;8d27fffff]
> IOMEM:----------------------
> [0:RW-:0;7fffffff]
> [0:RW-:83200000;835fffff]
> [0:RW-:84000000;843fffff]
> [0:RW-:85000000;85000fff]
> [0:RW-:c0000000;c07fffff]
> [0:RW-:d0000000;d0000fff]
> [0:RW-:ff800000;ff9fffff]
> [0:RW-:100000000;87fffffff]
> [0:RW-:8e0000000;ffffffffffffffff]
> MOE: Hello world
> MOE: found 3383848 KByte free memory
> MOE: found RAM from 8000f000 to 8d2800000
> MOE: allocated 34088 KByte for the page array @0x8087e000
> MOE: virtual user address space [0-ffffffffff]
> MOE: cmdline: moe rom/uvmm-io.ned
> MOE: rom name space cap -> [C:103000]
> MOE: rwfs name space cap -> [C:105000]
> ROMFS: [8610a000-861fd590] [C:107000] uvmm
> ROMFS: [861fe000-86219538] [C:109000] l4re
> ROMFS: [8621a000-862a2aa8] [C:10b000] ned
> ROMFS: [862a3000-862b0385] [C:10d000] s32g2xxa-evb.dtb1
> ROMFS: [862b1000-87bc4a53] [C:10f000] fsl-image-dom0less-s32g274aevb.cpio.gz
> ROMFS: [87bc5000-87bc6219] [C:111000] vmm.lua
> ROMFS: [87bc7000-87bc729b] [C:113000] uvmm-io.ned
> ROMFS: [87bc8000-889a8808] [C:115000] Image
> ROMFS: [889a9000-889eefb0] [C:117000] cons
> ROMFS: [889ef000-88c01a88] [C:119000] io
> ROMFS: [88c02000-88c021f8] [C:11b000] io.cfg
> ROMFS: [88c03000-88c0308f] [C:11d000] vm_hw.vbus
> ROMFS: [80000000-8000e000] [C:11f000] .fdt
> MOE: Starting: rom/ned rom/uvmm-io.ned
> MOE: loading 'rom/ned'
> Ned says: Hi World!
> Ned: loading file: 'rom/uvmm-io.ned'
> Console Server
> cons>
> Created vcon channel: io [420010]
> cons>
> io | Io service
> io | Verboseness level: 7
> io | unused physical memory space:
>
> Created vcon channel: vm1 [421010]
> cons>
> io | [00000000000000-00000033ffffff]
>
> Created vcon channel: mon1 [422010]
> cons>
> io | [000000340a0000-0000007fffffff]
> io | [00000100000000-0000087fffffff]
> io | [000008e0000000-ffffffffffffffff]
> io | no 'iommu' capability found, using CPU-phys for DMA
> io | Loading: config 'rom/io.cfg'
> io | Loading: config 'rom/vm_hw.vbus'
> io | Add IRQ resources to vbus: IRQ [00000000000007-00000000000007 1]
> level high (align=0 flags=3000)
> io | Add IRQ resources to vbus: IRQ [00000000000079-00000000000079 1]
> raising edge (align=0 flags=10)
> io | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE]
> io | Resources: ==== start ====
> io | Resources: ===== end =====
> io | L4ICU: [N2Vi6Sw_icuE]
> io | Resources: ==== start ====
> io | Resources: ===== end =====
> io | PMU: [N2Vi9Proxy_devE]
> io | Resources: ==== start ====
> io | IRQ [00000000000007-00000000000007 1] level high (align=0
> flags=300001)
> io | Resources: ===== end =====
> io | UART0: [N2Vi9Proxy_devE]
> io | Resources: ==== start ====
> io | IRQ [00000000000079-00000000000079 1] raising edge (align=0
> flags=100001)
> io | IOMEM [00000000002000-00000000003000 1001] 32-bit non-pref
> (align=1000 flags=300002)
> io | Resources: ===== end =====
> io | Real Hardware -----------------------------------
> io | System Bus:
> io | Resources: ==== start ====
> io | DMADOM [00000000000000-00000000000000 1] (align=0 flags=6)
> io | Resources: ===== end =====
> io | pmu:
> io | compatible= { "arm,armv8-pmuv3" }
> io | Clients: ===== start ====
> io | PMU: [N2Vi9Proxy_devE]
> io | Clients: ===== end ====
> io | Resources: ==== start ====
> io | IRQ [00000000000007-00000000000007 1] level high (align=0
> flags=300001)
> io | Resources: ===== end =====
> io | uart0:
> io | compatible= { "arm,pl011" }
> io | Clients: ===== start ====
> io | UART0: [N2Vi9Proxy_devE]
> io | Clients: ===== end ====
> io | Resources: ==== start ====
> io | IRQ [00000000000079-00000000000079 1] raising edge (align=0
> flags=100001)
> io | IOMEM [00000000002000-00000000003000 1001] 32-bit non-pref
> (align=1000 flags=300002)
> io | Resources: ===== end =====
> io | warning: could not register control interface at cap 'platform_ctl'
> io | Ready. Waiting for request.
> io | vbus vm_hw does not support a global DMA domain
> vm1 | VMM[main]: Hello out there.
> vm1 | VMM[ram]: No memory nodes found, setting up default region
> vm1 | Command line: console=ttyAMA0 earlyprintk=1 rdinit=/init
> vm1 | VMM[]: virtio_net@10000.l4vmm,virtiocap: capability net is invalid.
> vm1 | VMM[vm]: Device creation for virtual device virtio_net@10000 failed.
> Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pmu' IRQ 23.
> vm1 | VMM[vm]: Device creation for pmu failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0000000'.reg[0]
> (0xc0000000-0xc03fffff).
> vm1 | VMM[vm]: Device creation for shm@c0000000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@c0400000'.reg[0]
> (0xc0400000-0xc07fffff).
> vm1 | VMM[vm]: Device creation for shm@c0400000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000000'.reg[0]
> (0xd0000000-0xd000007f).
> vm1 | VMM[vm]: Device creation for shm@d0000000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000080'.reg[0]
> (0xd0000080-0xd00000ff).
> vm1 | VMM[vm]: Device creation for shm@d0000080 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'shm@84000000'.reg[0]
> (0x84000000-0x843fffff).
> vm1 | VMM[vm]: Device creation for shm@84000000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'pfebufs@34000000'.reg[0] (0x34000000-0x3407ffff).
> vm1 | VMM[vm]: Device creation for pfebufs@34000000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'pfebufs@34080000'.reg[0] (0x34080000-0x3409ffff).
> vm1 | VMM[vm]: Device creation for pfebufs@34080000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'pfebufs@83200000'.reg[0] (0x83200000-0x835dffff).
> vm1 | VMM[vm]: Device creation for pfebufs@83200000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'pfebufs@835e0000'.reg[0] (0x835e0000-0x835fffff).
> vm1 | VMM[vm]: Device creation for pfebufs@835e0000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr@85000000'.reg[0]
> (0x85000000-0x85000fff).
> vm1 | VMM[vm]: Device creation for ddr@85000000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'scmi' IRQ 332.
> vm1 | VMM[vm]: Device creation for scmi failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'rtc@40060000'.reg[0]
> (0x40060000-0x40060fff).
> vm1 | VMM[vm]: Device creation for rtc@40060000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'syscon@4007c000'.reg[0] (0x4007c000-0x4007c0ff).
> vm1 | VMM[vm]: Device creation for syscon@4007c000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'ddr_gpr@4007c600'.reg[0] (0x4007c600-0x4007c61f).
> vm1 | VMM[vm]: Device creation for ddr_gpr@4007c600 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'nvram@4009c000'.reg[0]
> (0x4009c000-0x4009c00f).
> vm1 | VMM[vm]: Device creation for nvram@4009c000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'siul2-
> pinctrl@4009c240'.reg[0] (0x4009c240-0x4009c3.
> vm1 | VMM[vm]: Device creation for siul2-pinctrl@4009c240 failed. Disabling
> device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'siul2-
> gpio@4009d700'.reg[0] (0x4009d700-0x4009d70f).
> vm1 | VMM[vm]: Device creation for siul2-gpio@4009d700 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'nvram@44010000'.reg[0]
> (0x44010000-0x4401000f).
> vm1 | VMM[vm]: Device creation for nvram@44010000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'ocotp@400a4000'.reg[0]
> (0x400a4000-0x400a43ff).
> vm1 | VMM[vm]: Device creation for ocotp@400a4000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'tmu@400a8000'.reg[0]
> (0x400a8000-0x400aafff).
> vm1 | VMM[vm]: Device creation for tmu@400a8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'watchdog@4010c000'.reg[0] (0x4010c000-0x4010cfff).
> vm1 | VMM[vm]: Device creation for watchdog@4010c000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@4011c000'.reg[0]
> (0x4011c000-0x4011efff).
> vm1 | VMM[vm]: Device creation for stm@4011c000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40120000'.reg[0]
> (0x40120000-0x40122fff).
> vm1 | VMM[vm]: Device creation for stm@40120000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@40134000'.reg[0]
> (0x0-0x1fffffff).
> vm1 | VMM[vm]: Device creation for spi@40134000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'dma-
> controller@40144000'.reg[0] (0x40144000-0x40167.
> vm1 | VMM[vm]: Device creation for dma-controller@40144000 failed. Disabling
> device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40188000'.reg[0]
> (0x40188000-0x4018afff).
> vm1 | VMM[vm]: Device creation for pit@40188000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'mscm@40198000'.reg[0]
> (0x40198000-0x40198fff).
> vm1 | VMM[vm]: Device creation for mscm@40198000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'flexcan@401b4000'.reg[0] (0x401b4000-0x401bdfff).
> vm1 | VMM[vm]: Device creation for flexcan@401b4000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'serial@401c8000'.reg[0] (0x401c8000-0x401cafff).
> vm1 | VMM[vm]: Device creation for serial@401c8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'serial@401cc000'.reg[0] (0x401cc000-0x401cefff).
> vm1 | VMM[vm]: Device creation for serial@401cc000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@401d8000'.reg[0]
> (0x401d8000-0x401d8fff).
> vm1 | VMM[vm]: Device creation for spi@401d8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e4000'.reg[0]
> (0x401e4000-0x401e4fff).
> vm1 | VMM[vm]: Device creation for i2c@401e4000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e8000'.reg[0]
> (0x401e8000-0x401e8fff).
> vm1 | VMM[vm]: Device creation for i2c@401e8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@401ec000'.reg[0]
> (0x401ec000-0x401ecfff).
> vm1 | VMM[vm]: Device creation for i2c@401ec000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@401f4000'.reg[0]
> (0x401f4000-0x401f4fff).
> vm1 | VMM[vm]: Device creation for pwm@401f4000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@401f8000'.reg[0]
> (0x401f8000-0x401f8fff).
> vm1 | VMM[vm]: Device creation for adc@401f8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'watchdog@40200000'.reg[0] (0x40200000-0x40200fff).
> vm1 | VMM[vm]: Device creation for watchdog@40200000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'watchdog@40204000'.reg[0] (0x40204000-0x40204fff).
> vm1 | VMM[vm]: Device creation for watchdog@40204000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'watchdog@40208000'.reg[0] (0x40208000-0x40208fff).
> vm1 | VMM[vm]: Device creation for watchdog@40208000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu0b@40210000'.reg[0]
> (0x40210000-0x40210fff).
> vm1 | VMM[vm]: Device creation for mu0b@40210000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu1b@40211000'.reg[0]
> (0x40211000-0x40211fff).
> vm1 | VMM[vm]: Device creation for mu1b@40211000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu2b@40212000'.reg[0]
> (0x40212000-0x40212fff).
> vm1 | VMM[vm]: Device creation for mu2b@40212000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'mu3b@40213000'.reg[0]
> (0x40213000-0x40213fff).
> vm1 | VMM[vm]: Device creation for mu3b@40213000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'stm@40228000'.reg[0]
> (0x40228000-0x4022afff).
> vm1 | VMM[vm]: Device creation for stm@40228000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'dma-
> controller@40244000'.reg[0] (0x40244000-0x40267.
> vm1 | VMM[vm]: Device creation for dma-controller@40244000 failed. Disabling
> device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pit@40288000'.reg[0]
> (0x40288000-0x4028afff).
> vm1 | VMM[vm]: Device creation for pit@40288000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'flexcan@402a8000'.reg[0] (0x402a8000-0x402b1fff).
> vm1 | VMM[vm]: Device creation for flexcan@402a8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'flexcan@402b2000'.reg[0] (0x402b2000-0x402bbfff).
> vm1 | VMM[vm]: Device creation for flexcan@402b2000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'serial@402bc000'.reg[0] (0x402bc000-0x402befff).
> vm1 | VMM[vm]: Device creation for serial@402bc000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'spi@402d0000'.reg[0]
> (0x402d0000-0x402d0fff).
> vm1 | VMM[vm]: Device creation for spi@402d0000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'i2c@402dc000'.reg[0]
> (0x402dc000-0x402dcfff).
> vm1 | VMM[vm]: Device creation for i2c@402dc000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pwm@402e4000'.reg[0]
> (0x402e4000-0x402e4fff).
> vm1 | VMM[vm]: Device creation for pwm@402e4000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'adc@402e8000'.reg[0]
> (0x402e8000-0x402e8fff).
> vm1 | VMM[vm]: Device creation for adc@402e8000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'mmc@402f0000'.reg[0]
> (0x402f0000-0x402f0fff).
> vm1 | VMM[vm]: Device creation for mmc@402f0000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'fccu@4030c000'.reg[0]
> (0x4030c000-0x4030efff).
> vm1 | VMM[vm]: Device creation for fccu@4030c000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'ethernet@4033c000'.reg[0] (0x4033c000-0x4033dfff).
> vm1 | VMM[vm]: Device creation for ethernet@4033c000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'ddr_errata@403c0000'.reg[0] (0x403c0000-0x403c00ff).
> vm1 | VMM[vm]: Device creation for ddr_errata@403c0000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'ddr-
> perf@403e0000'.reg[0] (0x403e0000-0x403e00ff).
> vm1 | VMM[vm]: Device creation for ddr-perf@403e0000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@40400000'.reg[0]
> (0x40400000-0x40400fff).
> vm1 | VMM[vm]: Device creation for pcie@40400000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'serdes@40480000'.reg[0] (0x40480000-0x40480107).
> vm1 | VMM[vm]: Device creation for serdes@40480000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pcie@44100000'.reg[0]
> (0x44100000-0x44100fff).
> vm1 | VMM[vm]: Device creation for pcie@44100000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'serdes@44180000'.reg[0] (0x44180000-0x44180107).
> vm1 | VMM[vm]: Device creation for serdes@44180000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'pfe@46000000'.reg[0]
> (0x46000000-0x46ffffff).
> vm1 | VMM[vm]: Device creation for pfe@46000000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'llce_dte_sram@43000000'.reg[0] (0x43000000-0x43001f.
> vm1 | VMM[vm]: Device creation for llce_dte_sram@43000000 failed. Disabling
> device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'llce_ppe_rx_sram@43100000'.reg[0] (0x43100000-0x431.
> vm1 | VMM[vm]: Device creation for llce_ppe_rx_sram@43100000 failed.
> Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'llce_ppe_tx_sram@43200000'.reg[0] (0x43200000-0x432.
> vm1 | VMM[vm]: Device creation for llce_ppe_tx_sram@43200000 failed.
> Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'llce_frpe_sram@43300000'.reg[0] (0x43300000-0x4330f.
> vm1 | VMM[vm]: Device creation for llce_frpe_sram@43300000 failed. Disabling
> device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'llce_shmem@43800000'.reg[0] (0x43800000-0x4384ffff).
> vm1 | VMM[vm]: Device creation for llce_shmem@43800000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'llce@43a00000'.reg[0]
> (0x43ff8000-0x43ffbfff).
> vm1 | VMM[vm]: Device creation for llce@43a00000 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for
> 'usbmisc@44064200'.reg[0] (0x44064200-0x440643ff).
> vm1 | VMM[vm]: Device creation for usbmisc@44064200 failed. Disabling device.
> vm1 | VMM[ioproxy]: No corresponding IO resource for 'usb@44064000'.reg[0]
> (0x44064000-0x440641ff).
> vm1 | VMM[vm]: Device creation for usb@44064000 failed. Disabling device.
> vm1 | VMM[ram]: Cleaning caches for device tree [9ff2000-9fff728] ([90df2000])
> io | new iomem region: p=00000000000000 v=00000000400000 s=400000 (bmb=0x39bc0)
> io | map mem: p=00000000002000 v=00000000402000 s=2000 uncached: done(0)
> vm1 | VMM[]: Starting Cpu0 @ 0x88e00000 in 64Bit mode (handler @ 1078e08,
> stack: 801ffba0, task: 420000, )
> vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> vm1 | VMM[]: Starting Cpu1 @ 0x896e7254 in 64Bit mode (handler @ 1078e08,
> stack: 400f20, task: 420000, mp)
> vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> vm1 | VMM[]: Starting Cpu2 @ 0x896e7254 in 64Bit mode (handler @ 1078e08,
> stack: 5fff20, task: 420000, mp)
> vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> vm1 | VMM[]: Starting Cpu3 @ 0x896e7254 in 64Bit mode (handler @ 1078e08,
> stack: 7fef20, task: 420000, mp)
> vm1 | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> vm1 | [ 0.000000] Booting Linux on physical CPU 0x0000000000 [0x410fd034]
> vm1 | [ 0.000000] Linux version 5.15.119-rt65+ge18f05316cd9 (oe-user@oe-
> host) (aarch64-fsl-linux-gcc (3
> vm1 | [ 0.000000] Machine model: NXP S32G2XXX-EVB
> vm1 | [ 0.000000] Zone ranges:
> vm1 | [ 0.000000] DMA [mem 0x0000000088e00000-0x0000000090dfffff]
> vm1 | [ 0.000000] DMA32 empty
> vm1 | [ 0.000000] Normal empty
> vm1 | [ 0.000000] Movable zone start for each node
> vm1 | [ 0.000000] Early memory node ranges
> vm1 | [ 0.000000] node 0: [mem 0x0000000088e00000-0x0000000090dfffff]
> vm1 | [ 0.000000] Initmem setup node 0 [mem
> 0x0000000088e00000-0x0000000090dfffff]
> vm1 | [ 0.000000] On node 0, zone DMA: 3584 pages in unavailable ranges
> vm1 | [ 0.000000] On node 0, zone DMA: 29184 pages in unavailable ranges
> vm1 | [ 0.000000] cma: Failed to reserve 256 MiB
> vm1 | [ 0.000000] psci: probing for conduit method from DT.
> vm1 | [ 0.000000] psci: PSCIv1.0 detected in firmware.
> vm1 | [ 0.000000] psci: Using standard PSCI v0.2 function IDs
> vm1 | [ 0.000000] psci: Trusted OS migration not required
> vm1 | [ 0.000000] psci: SMC Calling Convention v1.0
> vm1 | [ 0.000000] percpu: Embedded 18 pages/cpu s34200 r8192 d31336 u73728
> vm1 | [ 0.000000] pcpu-alloc: s34200 r8192 d31336 u73728 alloc=18*4096
> vm1 | [ 0.000000] pcpu-alloc: [0] 0 [0] 1 [0] 2 [0] 3
> vm1 | [ 0.000000] Detected VIPT I-cache on CPU0
> vm1 | [ 0.000000] CPU features: detected: GIC system register CPU interface
> vm1 | [ 0.000000] CPU features: detected: ARM erratum 845719
> vm1 | [ 0.000000] CPU features: detected: ARM errata 1165522, 1319367,
> 1530923, or 1530924
> vm1 | [ 0.000000] Built 1 zonelists, mobility grouping on. Total pages:
> 32320
> vm1 | [ 0.000000] Kernel command line: console=ttyAMA0 earlyprintk=1
> rdinit=/init
> vm1 | [ 0.000000] Unknown kernel command line parameters "earlyprintk=1",
> will be passed to user space.
> vm1 | [ 0.000000] Dentry cache hash table entries: 16384 (order: 5,
> 131072 bytes, linear)
> vm1 | [ 0.000000] Inode-cache hash table entries: 8192 (order: 4, 65536
> bytes, linear)
> vm1 | [ 0.000000] mem auto-init: stack:off, heap alloc:off, heap free:off
> vm1 | [ 0.000000] Memory: 83660K/131072K available (9088K kernel code,
> 642K rwdata, 3036K rodata, 1344)
> vm1 | [ 0.000000] rcu: Preemptible hierarchical RCU implementation.
> vm1 | [ 0.000000] rcu: RCU event tracing is enabled.
> vm1 | [ 0.000000] rcu: RCU restricting CPUs from NR_CPUS=8 to nr_cpu_ids=4.
> vm1 | [ 0.000000] Trampoline variant of Tasks RCU enabled.
> vm1 | [ 0.000000] Tracing variant of Tasks RCU enabled.
> vm1 | [ 0.000000] rcu: RCU calculated value of scheduler-enlistment delay
> is 25 jiffies.
> vm1 | [ 0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16,
> nr_cpu_ids=4
> vm1 | [ 0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0
> vm1 | [ 0.000000] GICv3: 988 SPIs implemented
> vm1 | [ 0.000000] GICv3: 0 Extended SPIs implemented
> vm1 | [ 0.000000] GICv3: Distributor has no Range Selector support
> vm1 | [ 0.000000] Root IRQ handler: gic_handle_irq
> vm1 | [ 0.000000] GICv3: 16 PPIs implemented
> vm1 | [ 0.000000] GICv3: CPU0: found redistributor 0 region
> 0:0x0000000050880000
> vm1 | [ 0.000000] arch_timer: cp15 timer(s) running at 5.00MHz (virt).
> vm1 | [ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff
> max_cycles: 0x127350b88, max_is
> vm1 | [ 0.000001] sched_clock: 56 bits at 5MHz, resolution 200ns, wraps
> every 4398046511100ns
> vm1 | [ 0.000647] Console: colour dummy device 80x25
> vm1 | [ 0.000694] Calibrating delay loop (skipped), value calculated
> using timer frequency.. 10.00 Bog)
> vm1 | [ 0.000707] pid_max: default: 32768 minimum: 301
> vm1 | [ 0.000892] Mount-cache hash table entries: 512 (order: 0, 4096
> bytes, linear)
> vm1 | [ 0.000903] Mountpoint-cache hash table entries: 512 (order: 0,
> 4096 bytes, linear)
> vm1 | [ 0.002655] rcu: Hierarchical SRCU implementation.
> vm1 | [ 0.003586] smp: Bringing up secondary CPUs ...
> vm1 | [ 0.017942] Detected VIPT I-cache on CPU1
> vm1 | [ 0.018008] GICv3: CPU1: found redistributor 1 region
> 0:0x00000000508a0000
> vm1 | [ 0.018171] CPU1: Booted secondary processor 0x0000000001 [0x410fd034]
> vm1 | [ 0.038911] Detected VIPT I-cache on CPU2
> vm1 | [ 0.038970] GICv3: CPU2: found redistributor 100 region
> 0:0x00000000508c0000
> vm1 | [ 0.039117] CPU2: Booted secondary processor 0x0000000100 [0x410fd034]
> vm1 | [ 0.059706] Detected VIPT I-cache on CPU3
> vm1 | [ 0.059748] GICv3: CPU3: found redistributor 101 region
> 0:0x00000000508e0000
> vm1 | [ 0.059865] CPU3: Booted secondary processor 0x0000000101 [0x410fd034]
> vm1 | [ 0.066499] smp: Brought up 1 node, 4 CPUs
> vm1 | [ 0.066508] SMP: Total of 4 processors activated.
> vm1 | [ 0.066514] CPU features: detected: 32-bit EL0 Support
> vm1 | [ 0.066519] CPU features: detected: CRC32 instructions
> vm1 | [ 0.076664] CPU: All CPU(s) started at EL1
> vm1 | [ 0.076717] alternatives: patching kernel code
> vm1 | [ 0.077658] devtmpfs: initialized
> vm1 | [ 0.086658] clocksource: jiffies: mask: 0xffffffff max_cycles:
> 0xffffffff, max_idle_ns: 76450417s
> vm1 | [ 0.086684] futex hash table entries: 1024 (order: 4, 65536 bytes,
> linear)
> vm1 | [ 0.086894] pinctrl core: initialized pinctrl subsystem
> vm1 | [ 0.087761] NET: Registered PF_NETLINK/PF_ROUTE protocol family
> vm1 | [ 0.088328] DMA: preallocated 128 KiB GFP_KERNEL pool for atomic
> allocations
> vm1 | [ 0.088376] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA pool for
> atomic allocations
> vm1 | [ 0.088418] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA32 pool for
> atomic allocations
> vm1 | [ 0.088812] thermal_sys: Registered thermal governor 'step_wise'
> vm1 | [ 0.089482] hw-breakpoint: found 6 breakpoint and 4 watchpoint
> registers.
> vm1 | [ 0.089813] ASID allocator initialised with 65536 entries
> vm1 | [ 0.089902] Serial: AMBA PL011 UART driver
> vm1 | [ 0.091205] 12000.pl011_uart: ttyAMA0 at MMIO 0x12000 (irq = 14,
> base_baud = 0) is a PL011 rev3
> vm1 | [ 0.091249] printk: console [ttyAMA0] enabled
> vm1 | [ 0.097882] HugeTLB registered 1.00 GiB page size, pre-allocated 0
> pages
> vm1 | [ 0.097896] HugeTLB registered 32.0 MiB page size, pre-allocated 0
> pages
> vm1 | [ 0.097902] HugeTLB registered 2.00 MiB page size, pre-allocated 0
> pages
> vm1 | [ 0.097908] HugeTLB registered 64.0 KiB page size, pre-allocated 0
> pages
> vm1 | [ 0.099874] vgaarb: loaded
> vm1 | [ 0.100066] SCSI subsystem initialized
> vm1 | [ 0.100236] usbcore: registered new interface driver usbfs
> vm1 | [ 0.100269] usbcore: registered new interface driver hub
> vm1 | [ 0.100298] usbcore: registered new device driver usb
> vm1 | [ 0.100605] pps_core: LinuxPPS API ver. 1 registered
> vm1 | [ 0.100609] pps_core: Software ver. 5.3.6 - Copyright 2005-2007
> Rodolfo Giometti <giometti@linux>
> vm1 | [ 0.100622] PTP clock support registered
> vm1 | [ 0.101759] clocksource: Switched to clocksource arch_sys_counter
> vm1 | [ 0.110198] NET: Registered PF_INET protocol family
> vm1 | [ 0.110332] IP idents hash table entries: 2048 (order: 2, 16384
> bytes, linear)
> vm1 | [ 0.110706] tcp_listen_portaddr_hash hash table entries: 256
> (order: 0, 4096 bytes, linear)
> vm1 | [ 0.110727] Table-perturb hash table entries: 65536 (order: 6,
> 262144 bytes, linear)
> vm1 | [ 0.110737] TCP established hash table entries: 1024 (order: 1,
> 8192 bytes, linear)
> vm1 | [ 0.110752] TCP bind hash table entries: 1024 (order: 2, 16384
> bytes, linear)
> vm1 | [ 0.110775] TCP: Hash tables configured (established 1024 bind 1024)
> vm1 | [ 0.110860] UDP hash table entries: 256 (order: 1, 8192 bytes, linear)
> vm1 | [ 0.110882] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes,
> linear)
> vm1 | [ 0.111044] NET: Registered PF_UNIX/PF_LOCAL protocol family
> vm1 | [ 0.111710] RPC: Registered named UNIX socket transport module.
> vm1 | [ 0.111715] RPC: Registered udp transport module.
> vm1 | [ 0.111718] RPC: Registered tcp transport module.
> vm1 | [ 0.111721] RPC: Registered tcp NFSv4.1 backchannel transport module.
> vm1 | [ 0.111731] PCI: CLS 0 bytes, default 64
> vm1 | [ 0.112053] Unpacking initramfs...
> vm1 | [ 0.946302] Initramfs unpacking failed: write error
> vm1 | [ 0.959998] Freeing initrd memory: 25676K
> vm1 | [ 0.962699] workingset: timestamp_bits=62 max_order=15 bucket_order=0
> vm1 | [ 0.963739] fuse: init (API version 7.34)
> vm1 | [ 0.963938] NET: Registered PF_ALG protocol family
> vm1 | [ 0.964001] Block layer SCSI generic (bsg) driver version 0.4
> loaded (major 248)
> vm1 | [ 0.964008] io scheduler mq-deadline registered
> vm1 | [ 0.964012] io scheduler kyber registered
> vm1 | [ 0.968974] vcan: Virtual CAN interface driver
> vm1 | [ 0.968989] slcan: serial line CAN interface driver
> vm1 | [ 0.968992] slcan: 10 dynamic interface channels.
> vm1 | [ 0.969000] CAN device driver interface
> vm1 | [ 0.969065] e100: Intel(R) PRO/100 Network Driver
> vm1 | [ 0.969069] e100: Copyright(c) 1999-2006 Intel Corporation
> vm1 | [ 0.969104] e1000: Intel(R) PRO/1000 Network Driver
> vm1 | [ 0.969108] e1000: Copyright (c) 1999-2006 Intel Corporation.
> vm1 | [ 0.969144] e1000e: Intel(R) PRO/1000 Network Driver
> vm1 | [ 0.969146] e1000e: Copyright(c) 1999 - 2015 Intel Corporation.
> vm1 | [ 0.969179] igb: Intel(R) Gigabit Ethernet Network Driver
> vm1 | [ 0.969183] igb: Copyright (c) 2007-2014 Intel Corporation.
> vm1 | [ 0.969534] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
> vm1 | [ 0.969543] ehci-pci: EHCI PCI platform driver
> vm1 | [ 0.969763] usbcore: registered new interface driver uas
> vm1 | [ 0.969801] usbcore: registered new interface driver usb-storage
> vm1 | [ 0.970286] i2c_dev: i2c /dev entries driver
> vm1 | [ 0.970482] sdhci: Secure Digital Host Controller Interface driver
> vm1 | [ 0.970485] sdhci: Copyright(c) Pierre Ossman
> vm1 | [ 0.970488] sdhci-pltfm: SDHCI platform and OF driver helper
> vm1 | [ 0.970671] usbcore: registered new interface driver usbhid
> vm1 | [ 0.970675] usbhid: USB HID core driver
> vm1 | [ 0.971182] NET: Registered PF_INET6 protocol family
> vm1 | [ 0.972106] Segment Routing with IPv6
> vm1 | [ 0.972143] In-situ OAM (IOAM) with IPv6
> vm1 | [ 0.972197] sit: IPv6, IPv4 and MPLS over IPv4 tunneling driver
> vm1 | [ 0.972682] NET: Registered PF_PACKET protocol family
> vm1 | [ 0.972887] can: controller area network core
> vm1 | [ 0.972921] NET: Registered PF_CAN protocol family
> vm1 | [ 0.972926] can: raw protocol
> vm1 | [ 0.972932] can: broadcast manager protocol
> vm1 | [ 0.972944] can: netlink gateway - max_hops=1
> vm1 | [ 0.972973] 8021q: 802.1Q VLAN Support v1.8
> vm1 | [ 0.973246] printk: console [ttyAMA0]: printing thread started
> vm1 | [ 1.043530] uart-pl011 12000.pl011_uart: no DMA platform data
> vm1 | [ 1.099243] VFS: Cannot open root device "(null)" or unknown-
> block(0,0): error -6
> vm1 | [ 1.099253] Please append a correct "root=" boot option; here are
> the available partitions:
> vm1 | [ 1.099259] Kernel panic - not syncing:
>
> Regards,
> Qiang
>
> On Wed, Feb 19, 2025 at 5:17 PM Adam Lackorzynski <adam@l4re.org
> <mailto:adam@l4re.org>> wrote:
>
> Hi Qiang,
>
> what you did is good.
>
> The messages shown are giving hints on the setup and are 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 <adam@l4re.org
> <mailto:adam@l4re.org>> 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 <adam@l4re.org
> <mailto:adam@l4re.org>> wrote:
> > > >
> > > > > Hi Qiang,
> > > > >
> > > > > On Wed Feb 12, 2025 at 11:55:30 +0800, qiang xu wrote:
> > > > > > Hi Adam，
> > > > > >
> > > > > > Thank you for your professional insights. Following 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 <
> > > > > adam@os.inf.tu-dresden.de <mailto:adam@os.inf.tu-dresden.de>>
> > > > > > wrote:
> > > > > >
> > > > > > > Hi Qiang,
> > > > > > >
> > > > > > > looks to me that bootstrap image to load is just 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
> <adam@l4re.org <mailto:adam@l4re.org>
> > > >
> > > > > 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 <
> > > qiangxu431@gmail.com <mailto:qiangxu431@gmail.com>>
> > > > > > > wrote:
> > > > > > > > > >
> > > > > > > > > > > Hi Adam,
> > > > > > > > > > >
> > > > > > > > > > > Awesome, thanks for the info!
> > > > > > > > > > >
> > > > > > > > > > > Regards,
> > > > > > > > > > > Qiang
> > > > > > > > > > >
> > > > > > > > > > > On Tue, Jan 7, 2025 at 10:03 PM Adam Lackorzynski <
> > > > > adam@l4re.org <mailto:adam@l4re.org>>
> > > > > > > > > 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 <
> > > > > adam@l4re.org <mailto:adam@l4re.org>
> > > > > > > >
> > > > > > > > > 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 <
> > > > > > > adam@l4re.org <mailto:adam@l4re.org>
> > > > > > > > > >
> > > > > > > > > > >> wrote:
> > > > > > > > > > >> > > >
> > > > > > > > > > >> > > > > Hi Qiang,
> > > > > > > > > > >> > > > >
> > > > > > > > > > >> > > > > On Sat Jan 04, 2025 at 17:03:21 +0800, qiang xu
> > > wrote:
> > > > > > > > > > >> > > > > > I would like to know how to run 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 -- l4-hackers@os.inf.tu-dresden.de
> To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de
--
philipp.eppelt@kernkonzept.com - Tel. 0351-41 883 221
http://www.kernkonzept.com
Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth
_______________________________________________
l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de
To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de