Changes in / [db2f654:02aad10] in mainline

Location:

kernel/arch

Files:

• abs32le/src/abs32le.c (modified) (1 diff)
• arm32/src/arm32.c (modified) (1 diff)
• ia64/src/ia64.c (modified) (1 diff)

kernel/arch/abs32le/src/abs32le.c

@@ -49 +49 @@
 #include <syscall/syscall.h>
 #include <console/console.h>
+#include <sysinfo/sysinfo.h>
 #include <memstr.h>
 

kernel/arch/arm32/src/arm32.c

@@ -38 +38 @@
 #include <genarch/fb/fb.h>
 #include <abi/fb/visuals.h>
+#include <sysinfo/sysinfo.h>
 #include <console/console.h>
 #include <ddi/irq.h>

kernel/arch/ia64/src/ia64.c

@@ -123 +123 @@
 }
 
-void arch_post_cpu_init(void)
-{
+void arch_post_cpu_init(void){
 }