Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision e88eb48e75ad044807a59279a35841cbebbc9611)
+++ kernel/generic/src/time/clock.c	(revision e131bd05cd3ced3b445c51035c8943d3ead77524)
@@ -81,5 +81,5 @@
 void clock_counter_init(void)
 {
-	uintptr_t faddr = frame_alloc(1, FRAME_ATOMIC, 0);
+	uintptr_t faddr = frame_alloc(1, FRAME_LOWMEM | FRAME_ATOMIC, 0);
 	if (faddr == 0)
 		panic("Cannot allocate page for clock.");