Add a kernel date; remove use of kprint
[akaros.git] / kern / arch / x86 / init.c
index e8bccf0..e1b2311 100644 (file)
@@ -16,6 +16,7 @@
 #include <monitor.h>
 
 struct ancillary_state x86_default_fpu;
+uint32_t kerndate;
 
 #define capchar2ctl(x) ((x) - '@')