From 65d7cfe5846c8b36164927062b49e72e73d2fe80 Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Wed, 1 Oct 2025 02:53:40 +0200
Subject: [PATCH] Test badrand in start.c

---
 kern/start.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kern/start.c b/kern/start.c
index 87e0558..9778dd9 100644
--- a/kern/start.c
+++ b/kern/start.c
@@ -93,6 +93,10 @@ void start() {
             astatus = rtc_alarm_status();
             assert(astatus == 1);
         }
+        {
+            uint64_t rn = badrand();
+            assert(rn != badrand());
+        }
         {
             char buffer[128];
             badrand_buf(buffer, 128);