Build tutorial for the Zynq Ultrascale+

Hi,

I am trying to build the first tutorial, but cross-compiling for the Zynq Ultrascale+. However, when I run "make E=hello qemu" I get the next output:

Image size(s) in bytes:
            bootstrap_hello.elf:  1275456
  Start address: 0x1000000
  --> Build-Nr: 5
QEMU-cmd: qemu-system-aarch64 -kernel /home/jperezu/build-arm/images/bootstrap.elf -serial stdio -M xlnx-zcu102 -cpu cortex-a53 -m 1024 -display none

L4 Bootstrapper
  Build: #5 Thu Apr  1 23:34:21 CEST 2021, 10.2.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
  Scanning sigma0
  Scanning moe
  Moving up to 5 modules behind 1100000
  moving module 04 { 10ad000-10d99bf } -> { 1199000-11c59bf } [182720]
  moving module 03 { 108f000-10aca0f } -> { 117b000-1198a0f } [121360]
  moving module 02 { 105b000-108e54f } -> { 1147000-117a54f } [210256]
  moving module 01 { 1055000-105abef } -> { 1141000-1146bef } [23536]
  moving module 00 { 1014000-1054cef } -> { 1100000-1140cef } [265456]
  Loading fiasco
  Loading sigma0
  Loading moe
  find kernel info page...
  found kernel info page (via ELF) at 3000
Regions of list 'regions'
    [     1000,     4afff] {    4a000} Kern   fiasco
    [    4b000,     4b0ef] {       f0} Root   mbi_rt
    [   100000,    10a46f] {     a470} Sigma0 sigma0
    [   140000,    170e43] {    30e44} Root   moe
    [   171e48,    17eed7] {     d090} Root   moe
    [  1000000,   1012d63] {    12d64} Boot   bootstrap
    [  10131ef,   10135af] {      3c1} Boot   modinfo
    [  117b000,   11c59bf] {    4a9c0} Root   Module
  found kernel options (via ELF) at 4000
  Sigma0 config    ip:00100474 sp:00000000
  Roottask config  ip:00141694 sp:00000000
  Starting kernel fiasco at 000016b0
Hello from Startup::stage2
Number of IRQs available at this GIC: 192

Assertion failed at /home/jperezu/fiasco/src/kern/irq_mgr_multi_chip.cpp:67: mask

Does anyone know what could be the problem?

I am using CROSS_COMPILE:=aarch64-linux-gnu- to build and  ARM64 architecture, ARMv8a CPU variant, Xilinx Zynq Ultrascale+, and CPU Arm Cortex-A53  in the configuration.


Thank you for your help.


Sincerely,

Jorge

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers