# Running seL4 on a BeagleV-Fire **URL:** \ **Category:** seL4 kernel\ **Created:** [February 5, 2024, 9:40am UTC](https://sel4.discourse.group/t/running-sel4-on-a-beaglev-fire/814 "2024-02-05T09:40:43Z")\ **Posts on this page:** 1\ **Showing post:** 5
**Author:** ![dvd2792](https://avatars.discourse-cdn.com/v4/letter/d/ac91a4/32.png) [@dvd2792](https://sel4.discourse.group/u/dvd2792)\ **Post date:** [February 14, 2024, 3:24pm UTC](https://sel4.discourse.group/t/running-sel4-on-a-beaglev-fire/814/5 "2024-02-14T15:24:27Z")
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](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](https://openbeagle.org/beaglev-fire/BeagleV-Fire-ubuntu) so that’s the uboot I’m using at the moment. ```auto 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 # ``` --- _[View the full topic](https://sel4.discourse.group/t/running-sel4-on-a-beaglev-fire/814)._