.globl _start
_start:
    b boot

.balign 0x20
boot:
    mov r0, #0
    @ Machine ID 3138 (0xC42)
    mov r1, #66
    orr r1, r1, #3072

    /* Start loader */
    ldr r2, args_addr
    ldr pc, kern_addr
args_addr:
    .word args
kern_addr:
    .word kern

.balign 0x100, 0
args:
    .word 0x00000005    @ (length 5)
    .word 0x54410001    @ ATAG_CORE
    .word 0x00000001    @ flags = read-only
    .word 0x00001000    @ pagesize = 4K
    .word 0x00000000    @ rootdev = 0

    .word 0x00000004    @ (length 4)
    .word 0x54410002    @ ATAG_MEM
    .word 0x08000000    @ size = 128M
    .word 0x00000000    @ start = 0

    .word 0x00000000    @ (length 0)
    .word 0x00000000    @ ATAG_NONE

.balign 0x8000, 0

kern:
    /* Set up 1MB C Stack Space */
    mov sp, #0x100000
    mov r4, #0
    b pi_start