From 57f4a32e779fecf1554304ecb289c274faea7f38 Mon Sep 17 00:00:00 2001
From: pjht <terppa05@gmail.com>
Date: Sun, 6 Sep 2020 08:11:12 -0500
Subject: [PATCH] Debug message changes

---
 devfs/main.c   | 2 +-
 init/main.c    | 6 +-----
 tar_fs/main.c  | 3 +--
 vga_drv/main.c | 2 +-
 4 files changed, 4 insertions(+), 9 deletions(-)

diff --git a/devfs/main.c b/devfs/main.c
index d921d01..f250d2e 100644
--- a/devfs/main.c
+++ b/devfs/main.c
@@ -82,7 +82,7 @@ int main() {
   rpc_register_func("open",&open);
   rpc_register_func("register_dev",&register_dev);
   register_fs("devfs",getpid());
-  serial_print("Initialized devfs\n");
+  serial_print("Devfs initialized\n");
   rpc_mark_as_init();
 }
 
diff --git a/init/main.c b/init/main.c
index a53600a..7508d47 100644
--- a/init/main.c
+++ b/init/main.c
@@ -94,7 +94,6 @@ char load_proc(size_t datapos,char* initrd) {
 
 
 int main() {
-  serial_print("Init running\n");
   long size=initrd_sz();
   char* initrd=malloc(size);
   initrd_get(initrd);
@@ -112,20 +111,17 @@ int main() {
   datapos=find_loc("initrd_drv",initrd);
   load_proc(datapos,initrd);
   while(rpc_is_init(4)==0);
-  serial_print("Loading tar_fs\n");
   datapos=find_loc("tar_fs",initrd);
   load_proc(datapos,initrd);
   while(rpc_is_init(5)==0);
   serial_print("Mounting initrd\n");
   mount("/dev/initrd","tarfs","/initrd");
-  serial_print("Loading VGA driver\n");
   posix_spawn(NULL,"/initrd/vga_drv",NULL,NULL,NULL,NULL);
   while(rpc_is_init(6)==0);
   stdout=fopen("/dev/vga","w");
   if (!stdout) {
-    serial_print("Could not open the VGA file! \n");
+    serial_print("Could not open the VGA device file!\n");
     exit(1);
   }
-  serial_print("Loading PCI driver\n");
   posix_spawn(NULL,"/initrd/pci",NULL,NULL,NULL,NULL);
 }
diff --git a/tar_fs/main.c b/tar_fs/main.c
index 0eb76d2..800bd46 100644
--- a/tar_fs/main.c
+++ b/tar_fs/main.c
@@ -133,8 +133,7 @@ int main() {
   rpc_register_func("mount",&tar_fs_mount);
   rpc_register_func("open",&open);
   rpc_register_func("read",&read);
-  serial_print("Registering tarfs filesystem\n");
   register_fs("tarfs",getpid());
-  serial_print("Initialized tarfs\n");
+  serial_print("Tarfs initialized\n");
   rpc_mark_as_init();
 }
diff --git a/vga_drv/main.c b/vga_drv/main.c
index 55546cc..f03dc05 100644
--- a/vga_drv/main.c
+++ b/vga_drv/main.c
@@ -31,6 +31,6 @@ int main() {
   serialize_int(getpid(),&state);
   rpc_call(3,"register_dev",state.buf,state.sizeorpos);
   free(state.buf);
-  serial_print("VGA driver initialized\n");
+  vga_write_string("[INFO] VGA driver initialized\n");
   rpc_mark_as_init();
 }