Descrizione
https://rocketboards.org/foswiki/Documentation/LinuxDrivers elenca i driver Linux disponibili e il codice sorgente per la maggior parte delle periferiche Altera (HPS e FPGA soft-core). Ma non siamo in grado di scoprire il driver Linux per il timer HPS.
Risoluzione
https://github.com/altera-opensource/linux-socfpga/blob/master/drivers/clocksource/dw_apb_timer.c è il driver Linux per timer HPS.