From d8f3e6f69d79162f1e679f2a7a6fa66f4817cf4c Mon Sep 17 00:00:00 2001
From: Shancang Li <shancang.li@uwe.ac.uk>
Date: Tue, 13 Oct 2020 10:24:52 +0100
Subject: [PATCH] Update kernel.c

---
 kernel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel.c b/kernel.c
index 6f06fc4..e41db16 100644
--- a/kernel.c
+++ b/kernel.c
@@ -1,5 +1,5 @@
 /*
- * Desc: Minimal OS, to show how to boot an x86 machine.
+ * Desc: Minimal OS, to show how to boot an x86 machine. UFCFWK-15-2
  */
 #if !defined(__cplusplus)
 #include <stdbool.h> /* C doesn't have booleans by default. */
-- 
GitLab