00001000: 00000297		auipc t0, 0		# t0 = 0x00001000
00001004: 02828613		addi a2, t0,0x28	# a2 = 0x00001028
00001008: f1402573		csrr a0, mhartid	# a0 = mhartid
0000100c: 0202b583		ld a1, 32(t0) 		# a1 = 87000000 - device tree address
00001010: 0182b283		ld t0, 24(t0)		# t0 = 80000000 - start of firmware
00001014: 00028067		jr t0			# jump to firmware
00001018: 0000000080000000			# firmware start address
00001020: 0000000087000000			# flattened device tree load address
00001028: 000000004942534f			# a2 points to this 8 dword data structure
00001030: 0000000000000002
00001038: 0000000080200000
00001040: 0000000000000001