Your ROOT_URL in app.ini is https://src.whiteboxsystems.nl/ but you are visiting http://src.whiteboxsystems.nl/Whitebox/u-boot/src/commit/9c2e2cab9ad9169e337cf397fbed3bafbbb72b74/doc/device-tree-bindings/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

Vlad Zakharov ad9b5f77df drivers: timer: Introduce ARC timer driver ... This commit introduces timer driver for ARC. ARC timers are configured via ARC AUX registers so we use special functions to access timer control registers. This driver allows utilization of either timer0 or timer1 depending on which one is available in real hardware. Essentially only existing timers should be mentioned in board's Device Tree description. Signed-off-by: Vlad Zakharov <vzakhar@synopsys.com> Reviewed-by: Simon Glass <sjg@chromium.org>		8 years ago
..
altera_timer.txt	…
arc_timer.txt	drivers: timer: Introduce ARC timer driver	8 years ago
sandbox_timer.txt	…