From ec04c40823f1a4265be8a6f81cbf5776dc2b2495 Mon Sep 17 00:00:00 2001
From: Ada Christine <adachristine18@gmail.com>
Date: Tue, 14 Feb 2023 00:02:55 +0000
Subject: ps2 driver

---
 kc/core/kc_main.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kc/core/kc_main.c')

diff --git a/kc/core/kc_main.c b/kc/core/kc_main.c
index 382b59a..9a84727 100644
--- a/kc/core/kc_main.c
+++ b/kc/core/kc_main.c
@@ -7,6 +7,7 @@
 #include "pit8253.h"
 #include "cpu/irq.h"
 #include "video.h"
+#include "i8042.h"
 
 #include <kernel/entry.h>
 #include <lib/kstdio.h>
@@ -31,6 +32,7 @@ unsigned long kc_main(struct kc_boot_data *data)
     pic8259_init();
     pit8253_timer_source.init();
     pit8253_timer_source.set_frequency(1);
+    i8042_input_source.init();
     task_init();
 
     return 0;
-- 
cgit v1.3.1-1-g115d