/* Board */
#include "pin_mux.h"

/* SDK drivers */
#include "fsl_common.h"
#include "fsl_gpio.h"

/* ThreadX */
#include "tx_api.h"

/* App */
#include "app_thr.h"

void hello_task(ULONG thread_input) {
    for (;;) {
        GPIO_PinWrite(BOARD_INITCLEDPINS_LED_R_GPIO, BOARD_INITCLEDPINS_LED_R_GPIO_PIN, 1);
        tx_thread_sleep(750);
        GPIO_PinWrite(BOARD_INITCLEDPINS_LED_R_GPIO, BOARD_INITCLEDPINS_LED_R_GPIO_PIN, 0);
        tx_thread_sleep(250);
    }
}