1[opensbi] 2file = sbi.bin 3addr = 0x40000000 4[dtb] 5file = u-boot.dtb 6addr = 0x40200000 7[kernel] 8file = rtthread.bin 9addr = 0x40400000 10 11