.section .text
.global set_gpio_output_level
.equ REG_GPIO_BASE, 0x60004000

set_gpio_output_level:
    li t2,REG_GPIO_BASE         //Basisadresse laden
    li t1, 1
    sll t1,t1, a0               //Bitamske für GPIO a0

    //GPIO als Output aktivieren(GPIO_ENABLE_W1TS_REG,Offset 0x20)

    sw t1,0x20(t2)

    //Pegel Setzen
    beq a1,x0,gpio_low          //Wenn a1==0 -> LOW

gpio_high:
    sw t1,0x8(t2)               //GPIO HIGH
    ret

gpio_low:
    sw t1,0xC(t2)               //GPIO LOW
    ret