Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 151c0503e1c1b615f0f4fe97cc31a4dfe16b78df)
+++ kernel/generic/src/time/clock.c	(revision 286da52c77dc3bd30ef7b617138baded44d5dbb5)
@@ -123,4 +123,5 @@
 static void cpu_update_accounting(void)
 {
+	// FIXME: get_cycle() is unimplemented on several platforms
 	uint64_t now = get_cycle();
 	atomic_time_increment(&CPU->busy_cycles, now - CPU_LOCAL->last_cycle);