From 623f3e83353056e06e587efbbeebb72322edf553 Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Thu, 30 Oct 2025 22:36:31 +0100
Subject: [PATCH] Seed badrand later

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

diff --git a/kern/start.c b/kern/start.c
index 0452aef..a11411b 100644
--- a/kern/start.c
+++ b/kern/start.c
@@ -46,10 +46,10 @@ void start() {
 
     if (unlikely(id == 0)) {
         /* Here we will do a bunch of initialization steps */
+        sbadrand(rtc_time_read() ^ swap64(rtc_time_read()));
         memory_sweep(heap_start, heap_end);
         buddy_init(heap_start, heap_end);
         spinlock_init(&sl);
-        sbadrand(rtc_time_read() ^ swap64(rtc_time_read()));
         for (int i = 0; i < banner_len; i++) uart_putc(banner[i]);
         __sync_synchronize();
         hold = 0;