bootrom/sdboot/head.S

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