toc1.cfg 133 B

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