kernel: print version banner on boot

arch/x86_64/init.c

@@ -1,3 +1,4 @@
+#include <socks/init.h>
 #include <socks/machine/cpu.h>
 #include <socks/machine/vgacon.h>
 
@@ -13,5 +14,8 @@ int ml_init(uintptr_t arg)
 {
 	bootstrap_cpu_init();
 	vgacon_init();
+
+	print_kernel_banner();
+
 	return 0;
 }

include/socks/init.h

@@ -27,6 +27,7 @@ typedef int (*initcall_t)(void);
 #define device_initcall(fn)	__define_initcall(fn, __INITLEVEL_DEVICE)
 #define late_initcall(fn)	__define_initcall(fn, __INITLEVEL_LATE)
 
+extern void print_kernel_banner(void);
 extern int do_initcalls(void);
 
 #endif

init/main.c

@@ -6,11 +6,13 @@
 
 extern unsigned long get_rflags(void);
 
+void print_kernel_banner(void)
+{
+	printk("Socks kernel version " BUILD_ID);
+}
+
 void kernel_init(uintptr_t arg)
 {
 	ml_init(arg);
-
-	printk("hello, world!");
-
 	ml_halt_cpu();
 }