https://rocketboards.org/foswiki/Documentation/LinuxDrivers zawiera dostępne sterowniki i kod źródłowy systemu Linux dla większości Altera urządzeń peryferyjnych (HPS i FPGA rdzeni programowych). Nie możemy jednak znaleźć sterownika Linux dla timera HPS.
https://github.com/altera-opensource/linux-socfpga/blob/master/drivers/clocksource/dw_apb_timer.c sterownik systemu Linux dla hps timer.