Nits.

Author: kohler

kernels1/kernel.cc

@@ -256,9 +256,9 @@ void exception(regstate* regs) {
             proc_panic(current, "Kernel page fault on %p (%s %s, rip=%p)!\n",
                        addr, operation, problem, regs->reg_rip);
         }
-        error_printf(CPOS(24, 0), 0x0C00,
-                     "Process %d page fault on %p (%s %s, rip=%p)!\n",
-                     current->pid, addr, operation, problem, regs->reg_rip);
+        error_printf(CPOS(24, 0), COLOR_ERROR,
+            "Process %d page fault on %p (%s %s, rip=%p)!\n",
+            current->pid, addr, operation, problem, regs->reg_rip);
         current->state = P_FAULTED;
         break;
     }

kernels1/p-bigdata.cc

@@ -5,6 +5,11 @@ alignas(4096) char big_data[8192];
 void process_main() {
     strcpy(&big_data[4086], "CS 61 Is Awful\n");
     strcpy(&big_data[0], "mazing\n");
+
+    //console_printf("@va %p: %s\n", &big_data[0], &big_data[0]);
+    //console_printf("@va %p: %.10s\n", &big_data[4086], &big_data[4086]);
+    //console_printf("@va %p: %s\n", &big_data[4096], &big_data[4096]);
+
     console_printf(0x3000, "%s", &big_data[4086]);
     while (true) {
         sys_yield();