From 543e5f700144f7d0aed5e2c773975f6478a424e7 Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Thu, 30 Oct 2025 22:43:52 +0100
Subject: [PATCH 1/2] Unused dependency

---
 kern/rtc.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/kern/rtc.c b/kern/rtc.c
index e351d8a..9cb8cbb 100644
--- a/kern/rtc.c
+++ b/kern/rtc.c
@@ -1,4 +1,3 @@
-#include "stdio.h"
 #include <assert.h>
 #include <rtc.h>
 #include <stdint.h>

From 7ac571809a6ae6eca3eca3c07a1283b53e082c46 Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Thu, 30 Oct 2025 22:43:59 +0100
Subject: [PATCH 2/2] Formatting

---
 config.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config.h b/config.h
index e0fa918..f08ca84 100644
--- a/config.h
+++ b/config.h
@@ -1,5 +1,6 @@
 #ifndef KERNEL_CONFIG_H
 #define KERNEL_CONFIG_H
+
 /*
  * Number of CPU's For now, this is hard-coded here. It will likely be
  * dynamically discovered in the future.