F133: Write OpenSBI to DDR and Execute
This example shows how to use XFEL to initialize DDR, load OpenSBI into memory and execute it on the D1/F133.
Applicable chips
- D1 / D1s / F133 (XuanTie C906 RISC-V)
Steps
xfel ddr f133 # Initialize the DDR controller for F133
xfel write 0x80200000 opensbi.bin # Write OpenSBI to 0x80200000
xfel exec 0x80200000 # Call the function address and execute
Explanation
xfel ddr f133initializes the memory controller with the F133-specific DDR configuration;xfel writeloadsopensbi.binto memory address0x80200000;xfel execjumps to that address to start OpenSBI.
tip
D1 and F133 share the same chip ID (0x00185900); the DDR type can be d1 or f133.