# Pastebin XcL7n1sl
_start: csrr     a0, mhartid
        beqz     a0, 1f           // We only allow hart0 to proceed

0:      wfi
        j        0b

1:      la       a1, _start + 256 // DTB is at boot start + 256

        li       s0, 0x603
        csrw     dcsr, s0

        li       s0, MEMORY_START // Start kernel and exit debug
        csrw     dpc, s0
        dret