bootrom/sdboot/head.S

   1 // See LICENSE for license details.
   2 #include <platform.h>
   3 #include "common.h"
   4
   5   .section .text.init
   6   .option norvc
   7   .globl _prog_start
   8 _prog_start:
   9   li sp, (PAYLOAD_DEST + 0x7fff000)
  10   call main
  11   csrr a0, mhartid
  12   la a1, dtb
  13   li s1, PAYLOAD_DEST
  14   jr s1
  15
  16   .section .rodata
  17 dtb:
  18   .incbin DEVICE_TREE