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;