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

Bin Meng 4932443d26 x86: Move i8254_init() to x86_cpu_init_f() ... Right now i8254_init() is called from timer_init() in the tsc timer driver. But actually i8254 and tsc are completely different things. Since tsc timer has been converted to driver model, we should find a new place that is appropriate for U-Boot to call i8254_init(), which is now x86_cpu_init_f(). Signed-off-by: Bin Meng <bmeng.cn@gmail.com> Acked-by: Simon Glass <sjg@chromium.org>		9 years ago
..
Kconfig	x86: tsc: Move tsc_timer.c to drivers/timer	10 years ago
Makefile	x86: tsc: Move tsc_timer.c to drivers/timer	10 years ago
altera_timer.c	dm: timer: Support 64-bit counter	10 years ago
sandbox_timer.c	dm: timer: Support 64-bit counter	10 years ago
timer-uclass.c	dm: timer: Support 64-bit counter	10 years ago
tsc_timer.c	x86: Move i8254_init() to x86_cpu_init_f()	9 years ago