From a3712570b08d62eb955bb53cfcaf56508ca3367d Mon Sep 17 00:00:00 2001
From: Anton Lydike <me@antonlydike.de>
Date: Tue, 31 Aug 2021 10:26:56 +0200
Subject: [PATCH] fixed whitespace in Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5542443..59d996f 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ KERNEL_CFLAGS=-nostdlib -T linker.ld
 ARCH = rv32im
 
 ### Build configuration:
-# Define the maximum number of running processes 
+# Define the maximum number of running processes
 PROCESS_COUNT = 8
 
 # Define the maximum number of binaries packaged with the kernel