Kernel: Change up the logging in the kernel's PRNG

apps/src/mkdir.c

@@ -5,7 +5,7 @@ int main(int argc, char** argv)
 {
     if (argc == 1)
     {
-        fprintf(stderr, "Usage: %s [directory]", argv[0]);
+        fprintf(stderr, "Usage: %s [directory]\n", argv[0]);
         return 1;
     }
 

kernel/src/main.cpp

@@ -35,22 +35,14 @@ extern "C" void _start()
 
     GDT::load();
 
-    kinfoln("Loaded GDT");
-
     Interrupts::install();
 
     IDT::load();
 
-    kinfoln("Loaded IDT");
-
     PIT::initialize(1000); // 1000 times per second
 
-    kinfoln("Prepared PIT");
-
     Scheduler::init();
 
-    kinfoln("Prepared scheduler");
-
 #ifdef RUN_TEST_AS_INIT
     ensure(Scheduler::load_user_task(STRINGIZE_VALUE_OF(RUN_TEST_AS_INIT)) > 0);
 #else
@@ -65,8 +57,6 @@ extern "C" void _start()
         }
     });
 
-    kinfoln("Prepared scheduler tasks");
-
     ensure(VFS::mkdir("/dev") == 0);
     VFS::mount("/dev", DeviceFS::get());
 

kernel/src/rand/Init.cpp

@@ -38,11 +38,11 @@ static uint64_t rdrand()
 
 void Mersenne::init()
 {
-    kdbgln("Preparing random number generator");
-
     has_rdrand = CPU::has_feature(CPU::Features::RDRAND);
     has_rdseed = asm_test_rdseed();
 
+    if (!has_rdrand && !has_rdseed) kwarnln("CPU does not support either RDRAND or RDSEED");
+
     state ^= (0x45fe1024UL + __moon_version_major()) * (__moon_version_minor() ^ 200UL);
 
     state ^= 0xe0e4f5332ea75b;