Running seL4 on a BeagleV-Fire

Hello, sorry for the delay!
I’ve been busy this last week.

I’ve also continue with some tests and some reading (https://sel4.discourse.group/t/microchip-polarfire-icicle-kit-status/675/4
and I always end with the same error…

@ivanvelickovic As far as I can see, I don’t see opensbi before uboot
I’ve also followd this https://openbeagle.org/beaglev-fire/BeagleV-Fire-ubuntu so that’s the uboot I’m using at the moment.

HSS: decompressing from eNVM to L2 Scratch ... Passed
DDR training ... Passed ( 5820 ms)
---------------------------------
--        BeagleV-Fire         --
---------------------------------
[5.882954] PolarFire(R) SoC Hart Software Services (HSS) - version 0.99.36-BVF-0.3.0
MPFS HAL version 2.2.104 / DDR Driver version 0.4.023 / Mi-V IHC version 0.1.1 / BOARD=bvf
(c) Copyright 2017-2022 Microchip FPGA Embedded Systems Solutions.
incorporating OpenSBI - version 1.2
(c) Copyright 2019-2022 Western Digital Corporation.
[5.913942] Build ID: 3f0ed536ff6a0aaef3c9b81896adaee39ec4d8c1
[5.920799] Built with the following tools:
 - riscv64-unknown-elf-gcc (xPack GNU RISC-V Embedded GCC (Microsemi SoftConsole build), 64-bit) 8.3.0
 - GNU ld (xPack GNU RISC-V Embedded GCC (Microsemi SoftConsole build), 64-bit) 2.32
[5.942673] NOTICE: Running from L2 Scratchpad
[5.948315] Serial Number: 
26b0af2182740fefddf246a1379f788f00000000000000000000000000000000000000000000000000000000000000000000
[5.960987] Segment Configuration:
        Cached: SEG0_0: offset 0x0080000000, physical DDR 0x00000000
        Cached: SEG0_1: offset 0x1000000000, physical DDR 0x00000000
    Non-cached: SEG1_2: offset 0x00c0000000, physical DDR 0x00000000
    Non-cached: SEG1_3: offset 0x1400000000, physical DDR 0x00000000
Non-cached WCB: SEG1_4: offset 0x00d0000000, physical DDR 0x00000000
Non-cached WCB: SEG1_5: offset 0x1800000000, physical DDR 0x00000000
[6.01870] L2 Cache Configuration:
    L2-Scratchpad:  4 ways (512 KiB)
         L2-Cache:  8 ways (1024 KiB)
           L2-LIM:  4 ways (512 KiB)
[6.16279] DDR-Lo size is   32 MiB
[6.20445] DDR-Hi size is 1888 MiB
[6.44211] Design Info: 
    Design Name: CI_DEFAULT_FD28A2CA1789CDC1137
    Design Version: 02.00.2
[6.54541] Attempting to select eMMC ... Passed
[6.309993] User button NOT pressed
Press a key to enter CLI, ESC to skip
Timeout in 1 second
..
[7.319633] CLI boot interrupt timeout
[7.324147] Initializing Mi-V IHC
[7.328226] Initializing IPI Queues (3304 bytes @ a02e660)...
[7.334736] Initializing PMPs
[7.338469] Initializing Boot Image ...
[7.343069] Trying to boot via MMC ...
[7.347583] Attempting to select eMMC ... Passed
[7.603122] Preparing to copy from MMC to DDR ...
[7.608677] Validated GPT Header ...
[7.627643] Validated GPT Partition Entries ...
[7.632938] Boot Partition found at index 0
[7.637885] Attempting to read image header (1632 bytes) ...
[7.644369] Copying 699928 bytes to 0x103fc00000
[7.653917] MMC: Boot Image registered ...
[7.658778] Boot image passed CRC
[7.663118] Boot image set name: "PolarFire-SoC-HSS::U-Boot"
U-Boot 2022.01-linux4microchip+fpga-2023.02-00001-gf993b00a (Feb 14 2024 - 13:57:45 +0100)
CPU:   rv64imafdc
Model: Microchip PolarFire-SoC Icicle Kit
DRAM:  1.8 GiB
MMC:   mmc@20008000: 0
Loading Environment from nowhere... OK
In:    serial@20000000
Out:   serial@20000000
Err:   serial@20000000
Net:   eth0: ethernet@20112000
Hit any key to stop autoboot:  0 
RISC-V #