Merge branch 'expt'main

Hyra v1.4

3 files changed, 3 insertions, 3 deletions

diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c
index fe41453..1fb3418 100644
--- a/sys/kern/init_main.c
+++ b/sys/kern/init_main.c
@@ -55,7 +55,7 @@ start_init(void)
     execve_args.argv = argv;
     execve_args.envp = envp;
     if (execve(td, &execve_args) != 0)
-        panic("Failed to load init\n");
+        panic("failed to load init\n");
 }
 
 int
diff --git a/sys/kern/kern_exit.c b/sys/kern/kern_exit.c
index f60ba93..75ab0e9 100644
--- a/sys/kern/kern_exit.c
+++ b/sys/kern/kern_exit.c
@@ -63,7 +63,7 @@ unload_td(struct proc *td)
 
         /* Attempt to unmap the range */
         if (vm_unmap(pcbp->addrsp, range->vbase, len) != 0) {
-            pr_error("Failed to unmap %p - %p (pid=%d)\n",
+            pr_error("failed to unmap %p - %p (pid=%d)\n",
                 range->start, range->end, td->pid);
         }
 
diff --git a/sys/kern/kern_sched.c b/sys/kern/kern_sched.c
index 2b66ebf..16daae2 100644
--- a/sys/kern/kern_sched.c
+++ b/sys/kern/kern_sched.c
@@ -262,6 +262,6 @@ sched_init(void)
         TAILQ_INIT(&qlist[i].q);
     }
 
-    pr_trace("Prepared %d queues (policy=0x%x)\n",
+    pr_trace("prepared %d queues (policy=0x%x)\n",
         SCHED_NQUEUE, policy);
 }