#include <stdint.h>


#define REG32(addr) (*(volatile uint32_t *)(addr))
/* Enable */
#define GPIO_ENABLE_W1TS_REG 0x3FF44024
/* Set, i.e. = 1*/
#define GPIO_OUT_W1TS_REG    0x3FF44008

#define LED1_PIN 2


#define LED1_MASK (1U << LED1_PIN)


void app_main(void)
{
    REG32(GPIO_ENABLE_W1TS_REG) = LED1_MASK;

    while (1) {
        REG32(GPIO_OUT_W1TS_REG) = LED1_MASK;
    }
}