diff --git a/kern/start.c b/kern/start.c
index ac0bcd2..87e0558 100644
--- a/kern/start.c
+++ b/kern/start.c
@@ -81,6 +81,18 @@ void start() {
 
             buddy_free(mem);
         }
+        {
+            uint64_t time = rtc_read_time();
+            time = rtc_read_time();
+            rtc_alarm_set(time + 3000000000);
+            uint64_t alrm = rtc_alarm_read();
+            assert(alrm > time);
+            uint32_t astatus = rtc_alarm_status();
+            assert(astatus == 0);
+            rtc_alarm_enable();
+            astatus = rtc_alarm_status();
+            assert(astatus == 1);
+        }
         {
             char buffer[128];
             badrand_buf(buffer, 128);