further changes made to main()

kernel.c

@@ -118,8 +118,19 @@ void kernel_main() {
    * yet, '\n' will produce some VGA specific character instead.
    * This is normal.
    */
-  terminal_setcolor(make_color(COLOR_RED, COLOR_WHITE));
+  terminal_setcolor(make_color(COLOR_RED, COLOR_BLACK));
+  terminal_writestring("Hello World!\n");
+
+  terminal_setcolor(make_color(COLOR_WHITE, COLOR_BLACK));
     for (int i = 0; i < 6; i++) {
       terminal_writestring("Hello World!\n");
   }
+    terminal_setcolor(make_color(COLOR_BLUE, COLOR_BLACK));
+    for (int i = 0; i < 18; i++) {
+      terminal_writestring("Hello World!\n");
+  }
+    terminal_setcolor(make_color(COLOR_GREEN, COLOR_BLACK));
+    for (int i = 0; i < 5; i++) {
+      terminal_writestring("Hello World!\n");
+  }
 }