Your ROOT_URL in app.ini is https://src.whiteboxsystems.nl/ but you are visiting http://src.whiteboxsystems.nl/Whitebox/u-boot/src/commit/5786071e4a3b9091940580c208e27d21fdc269cf/drivers/timer You should set ROOT_URL correctly, otherwise the web may not work correctly.
upstream u-boot with additional patches for our devices/boards: https://lists.denx.de/pipermail/u-boot/2017-March/282789.html (AXP crashes) ; Gbit ethernet patch for some LIME2 revisions ; with SPI flash support
 
 
 
 
 
 
u-boot/drivers/timer
Thomas Chou 1235e5a56e timer: altera_timer: minor clean up 10 years ago
..
Kconfig
Makefile
altera_timer.c timer: altera_timer: minor clean up 10 years ago
timer-uclass.c