[opensbi]
file = sbi.bin
addr = 0x40000000
[dtb]
file = u-boot.dtb
addr = 0x40200000
[kernel]
file = rtthread.bin
addr = 0x40400000