From abfb09563f8b64f68f6a9d11a7fb77db6e5a26da Mon Sep 17 00:00:00 2001
From: jenra-uwu <a>
Date: Sat, 31 Jul 2021 19:36:35 -0400
Subject: [PATCH] Spacing

---
 src/opensbi.s | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/opensbi.s b/src/opensbi.s
index 15d497d..db1e9d8 100644
--- a/src/opensbi.s
+++ b/src/opensbi.s
@@ -8,7 +8,6 @@
 
 # sbi_console_putchar(char) -> void
 # Puts a character onto the UART port.
-
 sbi_console_putchar:
 	li a6, 0
 	li a7, 1
@@ -17,7 +16,6 @@ sbi_console_putchar:
 
 # sbi_console_getchar() -> int
 # Gets a character from the UART port.
-
 sbi_console_getchar:
 	li a6, 0
 	li a7, 2