However, I still encounter and error when trying to run the VM-basic sample. It starts well, but fails while loading the kernel: VMM[main]: Loading kernel... VMM[loader]: Detected gzip compressed image: uncompressing (13618690 -> 41658880) VMM: FATAL: zlib decompression error: (null)

The size corresponds to the size of https://l4re.org/download/Linux-kernel/arm64/Image-6.6.8 (while appears in modules.list)

Any advice? Best regards, Moshe ________________________________ From: Moshe Kravchik mkravchik@hotmail.com Sent: Monday, April 7, 2025 3:19 PM To: Adam Lackorzynski adam@l4re.org; l4-hackers@os.inf.tu-dresden.de l4-hackers@os.inf.tu-dresden.de Subject: Re: Loading L4 after Uboot on ZynqMP

Hi Adam,

I tried with the device tree and indeed I can run the bootstrapper_hello sample!

Thanks a lot! Moshe ________________________________ From: Adam Lackorzynski adam@l4re.org Sent: Sunday, April 6, 2025 12:08 PM To: mkravchik@hotmail.com mkravchik@hotmail.com; l4-hackers@os.inf.tu-dresden.de l4-hackers@os.inf.tu-dresden.de Subject: Re: Loading L4 after Uboot on ZynqMP

Hi Moshe,

Could you share some more info about the u-boot version that is being used on your ZynqMP device?

Please also try to load a device-tree with bootm. The error message could just indicate a device tree is missing. Simply use the one you probably find on the flash (bootm 0x0ffffc0 - 0x....).

Adam

On Thu Apr 03, 2025 at 11:27:34 -0000, mkravchik@hotmail.com wrote:

I'm trying to run L4 on a Xilinx ZyncMP board. The board runs Uboot from ROM and then I tried to load L4 as described in https://l4re.org/bsp/zynqmp.html.

However, loading a uimage fails, I'm getting an error:

ZynqMP> fatload usb 0:1 0x0ffffc0 bootstrap_hello.uimage

ZynqMP> bootm 0x0ffffc0 ## Booting kernel from Legacy Image at 00ffffc0 ... Image Name: L4 Image #8 Created: 2025-03-31 14:14:32 UTC Image Type: AArch64 Linux Kernel Image (uncompressed) Data Size: 1530680 Bytes = 1.5 MiB Load Address: 01000000 Entry Point: 01000000 Verifying Checksum ... OK XIP Kernel Image FDT and ATAGS support not compiled in

### ERROR ### Please RESET the board ###

I tried to use rawimage, but there I get to the following problem: ZynqMP> fatload usb 0:1 0x1000000 bootstrap_hello-cfg.rawimage 2149176 bytes read in 151 ms (13.6 MiB/s) ZynqMP> go 0x1000000 ## S� L4 Bootstrapper Build: #15 Thu Apr 3 11:39:37 IDT 2025, 9.4.0 Scanning up to 2048 MB RAM, starting at offset 32MB Memory size is 2048MB (00000000 - 7fffffff) RAM: 0000000000000000 - 000000007fffffff: 2097152kB Total RAM: 2048MB Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/hello.cfg Compressed modules: cannot decompress at 0x10a8000, try 0x11bc000 Uncompressing modules (modaddr = 0x11bc000 (backwards)): mod06: 0x126c000-0x1296b38: hello mod05: 0x126b000-0x126b080: hello.cfg mod04: 0x11e1000-0x126a118: ned mod03: 0x11bc000-0x11e0c40: l4re Loading fiasco found node 0 kernel info page (via ELF) at 0x3000 L4Re is configured for EL2 mode (virtualization / hypervisor) but got started in EL1 by the boot-loader. Please change your boot-loader to start L4Re in EL2 mode.

I'm not sure how to proceed from here. The Uboot is loaded from the board's ROM and is running at EL2.

Any help is appreciated, Moshe

_______________________________________________ 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

Hi, I managed to get it working using the image I built myself: module[arch=arm64,fname=linux,uncompress] Image.gz Thanks a lot, Moshe ________________________________ From: Adam Lackorzynski adam@l4re.org Sent: Tuesday, April 8, 2025 7:36 AM To: Moshe Kravchik mkravchik@hotmail.com; l4-hackers@os.inf.tu-dresden.de l4-hackers@os.inf.tu-dresden.de Subject: Re: Loading L4 after Uboot on ZynqMP

Hi Moshe,

interesting. The printf of the error is in l4/pkg/uvmm/server/src/binary_loader_linux_compressed.cc, could you make that: Err().printf("zlib decompression error(%d): %s\n", err, strm.msg); such that we also see the 'err' as well?

Thanks, Adam

On Mon Apr 07, 2025 at 12:41:30 +0000, Moshe Kravchik wrote:

However, I still encounter and error when trying to run the VM-basic sample. It starts well, but fails while loading the kernel: VMM[main]: Loading kernel... VMM[loader]: Detected gzip compressed image: uncompressing (13618690 -> 41658880) VMM: FATAL: zlib decompression error: (null)

The size corresponds to the size of https://l4re.org/download/Linux-kernel/arm64/Image-6.6.8 (while appears in modules.list)

Any advice? Best regards, Moshe ________________________________ From: Moshe Kravchik mkravchik@hotmail.com Sent: Monday, April 7, 2025 3:19 PM To: Adam Lackorzynski adam@l4re.org; l4-hackers@os.inf.tu-dresden.de l4-hackers@os.inf.tu-dresden.de Subject: Re: Loading L4 after Uboot on ZynqMP

Hi Adam,

I tried with the device tree and indeed I can run the bootstrapper_hello sample!

Thanks a lot! Moshe ________________________________ From: Adam Lackorzynski adam@l4re.org Sent: Sunday, April 6, 2025 12:08 PM To: mkravchik@hotmail.com mkravchik@hotmail.com; l4-hackers@os.inf.tu-dresden.de l4-hackers@os.inf.tu-dresden.de Subject: Re: Loading L4 after Uboot on ZynqMP

Hi Moshe,

Could you share some more info about the u-boot version that is being used on your ZynqMP device?

Please also try to load a device-tree with bootm. The error message could just indicate a device tree is missing. Simply use the one you probably find on the flash (bootm 0x0ffffc0 - 0x....).

Adam

On Thu Apr 03, 2025 at 11:27:34 -0000, mkravchik@hotmail.com wrote:

...

I'm trying to run L4 on a Xilinx ZyncMP board. The board runs Uboot from ROM and then I tried to load L4 as described in https://l4re.org/bsp/zynqmp.html.

However, loading a uimage fails, I'm getting an error:

ZynqMP> fatload usb 0:1 0x0ffffc0 bootstrap_hello.uimage

ZynqMP> bootm 0x0ffffc0 ## Booting kernel from Legacy Image at 00ffffc0 ... Image Name: L4 Image #8 Created: 2025-03-31 14:14:32 UTC Image Type: AArch64 Linux Kernel Image (uncompressed) Data Size: 1530680 Bytes = 1.5 MiB Load Address: 01000000 Entry Point: 01000000 Verifying Checksum ... OK XIP Kernel Image FDT and ATAGS support not compiled in

### ERROR ### Please RESET the board ###

I tried to use rawimage, but there I get to the following problem: ZynqMP> fatload usb 0:1 0x1000000 bootstrap_hello-cfg.rawimage 2149176 bytes read in 151 ms (13.6 MiB/s) ZynqMP> go 0x1000000 ## S� L4 Bootstrapper Build: #15 Thu Apr 3 11:39:37 IDT 2025, 9.4.0 Scanning up to 2048 MB RAM, starting at offset 32MB Memory size is 2048MB (00000000 - 7fffffff) RAM: 0000000000000000 - 000000007fffffff: 2097152kB Total RAM: 2048MB Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/hello.cfg Compressed modules: cannot decompress at 0x10a8000, try 0x11bc000 Uncompressing modules (modaddr = 0x11bc000 (backwards)): mod06: 0x126c000-0x1296b38: hello mod05: 0x126b000-0x126b080: hello.cfg mod04: 0x11e1000-0x126a118: ned mod03: 0x11bc000-0x11e0c40: l4re Loading fiasco found node 0 kernel info page (via ELF) at 0x3000 L4Re is configured for EL2 mode (virtualization / hypervisor) but got started in EL1 by the boot-loader. Please change your boot-loader to start L4Re in EL2 mode.

I'm not sure how to proceed from here. The Uboot is loaded from the board's ROM and is running at EL2.

Any help is appreciated, Moshe

Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

_______________________________________________ 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