The prebuild freeloader.elf does not match target hardware configuration #3
Description
The prebuilt freeloader.elf provided in the prebuilt directory does not appear to match the target hardware configuration, which causes the system to fail during the early boot stage.
Specifically, the number of HARTs according to the Verilog Code appears to be only 1, whereas during the OpenSBI stage, the platform reports 8 HARTs. This inconsistency strongly suggests a mismatch between the freeloader build configuration and the actual hardware platform. What's more, the number of UART peripheral is also dismatch.
As a result, the system fails to boot correctly after entering the freeloader stage. The log captured from the FPGA is shown below for reference.
OpenSBI v1.3
Build time: 2025-08-01 10:58:05 +0800
Build compiler: gcc version 14.2.1 20240816 (g553a166de)
____ _____ ____ _____
/ __ \ / ____| _ \_ _|
| | | |_ __ ___ _ __ | (___ | |_) || |
| | | | '_ \ / _ \ '_ \ \___ \| _ < | |
| |__| | |_) | __/ | | |____) | |_) || |_
\____/| .__/ \___|_| |_|_____/|___/_____|
| |
|_|
Platform Name : nuclei,evalsoc
Platform Features : medeleg
Platform HART Count : 8
Platform IPI Device : ---
Platform Timer Device : --- @ 0Hz
Platform Console Device : nuclei_uart
Platform HSM Device : ---
Platform PMU Device : ---
Platform Reboot Device : nuclei_reset
Platform Shutdown Device : nuclei_reset
Platform Suspend Device : ---
Platform CPPC Device : ---
Firmware Base : 0x80000000
Firmware Size : 392 KB
Firmware RW Offset : 0x40000
Firmware RW Size : 136 KB
Firmware Heap Offset : 0x56000
Firmware Heap Size : 48 KB (total), 3 KB (reserved), 8 KB (used), 36 KB (free)
Firmware Scratch Size : 4096 B (total), 744 B (used), 3352 B (free)
Runtime SBI Version : 1.0
Domain0 Name : root
Domain0 Boot HART : 0
Domain0 HARTs : 0*,1*,2*,3*,4*,5*,6*,7*
Domain0 Region00 : 0x0000000080000000-0x000000008003ffff M: (R,X) S/U: ()
Domain0 Region01 : 0x0000000080040000-0x000000008007ffff M: (R,W) S/U: ()
Domain0 Region02 : 0x0000000000000000-0xffffffffffffffff M: (R,W,X) S/U: (R,W,X)
Domain0 Next Address : 0x0000000080200000
Domain0 Next Arg1 : 0x0000000088000000
Domain0 Next Mode : S-mode
Domain0 SysReset : yes
Domain0 SysSuspend : yes
Boot HART ID : 0
Boot HART Domain : root
Boot HART Priv Version : v1.11
Boot HART Base ISA : rv64imafdc
Boot HART ISA Extensions : time
Boot HART PMP Count : 8
Boot HART PMP Granularity : 4096
Boot HART PMP Address Bits: 30
Boot HART MHPM Count : 4
Boot HART MIDELEG : 0x0000000000000222
Boot HART MEDELEG : 0x000000000000b109
No serial driver found
resetting ...
reset not supported yet
### ERROR ### Please RESET the board ###