ffff800080200000 <_start>:
ffff800080200000:	00044197          	auipc	gp,0x44
ffff800080200004:	c6018193          	addi	gp,gp,-928 # ffff800080243c60 <__global_pointer$>
ffff800080200008:	00043297          	auipc	t0,0x43
ffff80008020000c:	09c28293          	addi	t0,t0,156 # ffff8000802430a4 <_boot_lottery>
ffff800080200010:	4305                	li	t1,1
ffff800080200012:	0062a62f          	amoadd.w	a2,t1,(t0)
ffff800080200016:	42a1                	li	t0,8
ffff800080200018:	08565d63          	bge	a2,t0,ffff8000802000b2 <hart_trap>