1.1 --- a/stage2/cpu.c Mon Feb 29 23:59:40 2016 +0100 1.2 +++ b/stage2/cpu.c Tue Mar 01 00:50:20 2016 +0100 1.3 @@ -24,6 +24,7 @@ 1.4 1.5 #include "cpu.h" 1.6 #include "sdram.h" 1.7 +#include "paging.h" 1.8 1.9 void flush_icache_all(void) 1.10 {