From 802ac9c012f4ebe06276cf11c8702caa831af1aa Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Wed, 1 Oct 2025 02:42:45 +0200
Subject: [PATCH] Seed badrand with an rtc read xored with itself (its called
 BADrand for a reason)

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

diff --git a/kern/start.c b/kern/start.c
index a8175c2..7847e84 100644
--- a/kern/start.c
+++ b/kern/start.c
@@ -1,3 +1,4 @@
+#include "badrand.h"
 #include <assert.h>
 #include <banner.h>
 #include <buddy.h>
@@ -45,6 +46,7 @@ void start() {
         memory_sweep(heap_start, heap_end);
         buddy_init(heap_start, heap_end);
         spinlock_init(&sl);
+        sbadrand(rtc_read_time() ^ swap64(rtc_read_time()));
         for (int i = 0; i < banner_len; i++) uart_putc(banner[i]);
         __sync_synchronize();
         hold = 0;