boot-monitor: fix build warning using gcc 4.9 tool chain
[keystone-linux/boot-monitor.git] / sec /
drwxr-xr-x   ..
-rw-r--r-- 2094 Makefile
-rw-r--r-- 2461 debug.c
-rw-r--r-- 1784 debug.h
-rw-r--r-- 4063 s-kernel.lds
-rw-r--r-- 11908 skern.c
-rw-r--r-- 9632 skernel.S
-rw-r--r-- 1804 skernel.h