Update kernel.c

d8f3e6f6 · Shancang Li · 0476feef · d8f3e6f6
Commit d8f3e6f6 authored 4 years ago by Shancang Li
--- a/kernel.c
+++ b/kernel.c
 /*
- * 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. */