Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision e88eb48e75ad044807a59279a35841cbebbc9611)
+++ kernel/generic/src/time/clock.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -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.");