Miscellany

Kernel decompressor was successful ... launching kernel.

CAUSE    = 0x3080000c  No TLB Entry for Store
STATUS   = 0x00400002      EPC      = 0x94145004
BADVADDR = 0x000000b3      ERROREPC = 0x90000000

$ 0(zr):0x00000000  $ 8(t0):0x94020000  $16(s0):0xffffffff  $24(t8):0x00000000
$ 1(at):0x00000001  $ 9(t1):0x00000001  $17(s1):0x94200000  $25(t9):0x90000704
$ 2(v0):0x3c029420  $10(t2):0x00000000  $18(s2):0x00000002  $26(k0):0x00000000
$ 3(v1):0x94145000  $11(t3):0x0000000a  $19(s3):0x00000001  $27(k1):0x00000000
$ 4(a0):0x00000001  $12(t4):0x00000064  $20(s4):0x00000002  $28(gp):0x94008dc0
$ 5(a1):0x94010ebc  $13(t5):0x94010d6c  $21(s5):0x94200ef0  $29(sp):0x94010e04
$ 6(a2):0x94007760  $14(t6):0x00000000  $22(s6):0x94200000  $30(s8):0x94200000
$ 7(a3):0x0000001e  $15(t7):0x00000000  $23(s7):0x000903c0  $31(ra):0x94200210