work.c

В этот файл добавим объявление внешней фунции:

/* external function */

extern void delay_ms(unsigned int timeout);

Также исправим бесконечный цикл добавив в него задержку и переключение светодиодов:

/* infinity loop */

    while (1) {

        /* wait a half second */

        delay_ms(500);

        /* switch leds */

        LED_PORT->ODR ^= ALL_LEDS;