Nios II 7.1 IDE. Функции из HAL., Вопросы... Опции

[Волощенко]

Есть желание применить функции из HAL. Вот программа, в ней вызывается функция alt_timestamp_start(), которая описана в altera_avalon_timer_ts.c.

#include "sys/alt_stdio.h"
//-----------------------------
#include "alt_types.h"
#include "system.h"
//-----------------------------
#include "altera_avalon_timer_regs.h" //for timer
#include "altera_avalon_timer_ts.c"
//-----------------------------
int main()
{alt_u32 a;
a=alt_timestamp_start();
alt_putstr("Hello from Nios II!\n");
printf("%08x, ", a);
while (1);
return 0;
}

Но при компиляции сообщается об ошибке: undefined reference to `alt_timestamp_start'.
Вопрос: Что в программе не так, и как правильно подключать функции и макросы из системной библиотеки, например, из hello_world_small_0_syslib\Device Drivers [Sopc Builder]\altera_avalon_timer\HAL\src

[RHnd]

Сейчас не могу проверить, но мне кажется, что подключать надо не altera_avalon_timer_ts.c, а altera_avalon_timer_ts.h

[Волощенко]

Сейчас не могу проверить, но мне кажется, что подключать надо....

Тема не раскрыта, вопросы остались.
Альтера рекомендует функции и макросы из своих библиотек HAL. Прекрасно!
Однако, механизм работы с HAL описан слабо, а жаль.
Альтера советует писать программы, стартуя с шаблонов типа "Hello world small", с последующим их развитием.
Допустим, что в проект еще вводится таймер, как его инициализировать, сделать с ним что-то с помощью функций из HAL, как эти HAL библиотеки подключить, как будет выглядеть простейшая работающая программа в целом с этими инклудами (как выглядят пути)?
Неужели никто этот HAL еще не освоил?