0000000000080000 <_start>:
   80000: 85 01 00 58   ldr     x5, 0x80030 <$d.1>
   80004: bf 00 00 91   mov     sp, x5
   80008: 85 01 00 58   ldr     x5, 0x80038 <$d.1+0x8>
   8000c: a6 01 00 18   ldr     w6, 0x80040 <$d.1+0x10>
   80010: 86 00 00 34   cbz     w6, 0x80020 <_start+0x20>
   80014: bf 84 00 f8   str     xzr, [x5], #8
   80018: c6 04 00 51   sub     w6, w6, #1
   8001c: a6 ff ff 35   cbnz    w6, 0x80010 <_start+0x10>
   80020: d6 00 00 94   bl      0x80378 <kernel_main>