From e6bec1afcd1c351c13db821a4bb5e899a6c37901 Mon Sep 17 00:00:00 2001
From: Tyler Murphy <=>
Date: Mon, 17 Jul 2023 00:09:26 -0400
Subject: paging

---
 kernel/src/drivers/ps2ctrl.c | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'kernel/src/drivers/ps2ctrl.c')

diff --git a/kernel/src/drivers/ps2ctrl.c b/kernel/src/drivers/ps2ctrl.c
index 527435d..05ef25d 100644
--- a/kernel/src/drivers/ps2ctrl.c
+++ b/kernel/src/drivers/ps2ctrl.c
@@ -48,8 +48,6 @@ void ps2ctrl_set_port2(void) {
 
 void ps2ctrl_init(void) {
 
-    debugk("Loading PS/2 Controller");
-
     is_init = false;
 
     pic_mask(1); // keyboard
@@ -61,8 +59,7 @@ void ps2ctrl_init(void) {
 	ps2ctrl_out_cmd(0xAA);
 	uint8_t response = ps2ctrl_in();
 	if(response != 0x55) {
-		errork("PS/2 controller failed to initialize");
-        return;
+		panic("PS/2 controller failed to initialize");
 	}
 
 	// set config
@@ -80,8 +77,7 @@ void ps2ctrl_init(void) {
 	ps2ctrl_out_cmd(0xA9);
     response = ps2ctrl_in();
     if (response == 0x01) {
-        errork("PS/2 port 2 not supported");
-        return;
+        panic("PS/2 port 2 not supported");
     }
 
 	ps2ctrl_out_cmd(0xA8);
@@ -90,8 +86,6 @@ void ps2ctrl_init(void) {
 
     pic_unmask(1);
     pic_unmask(12);
-
-    succek("Loaded PS/2 Controller");
 }
 
 bool ps2ctrl_is_init(void) {
-- 
cgit v1.2.3-freya