Remove obsolete #include <linux/config.h>
[linux-3.10.git] / arch / cris / arch-v10 / boot /
drwxr-xr-x ..
-rw-r--r-- Makefile
drwxr-xr-x compressed
drwxr-xr-x rescue
drwxr-xr-x tools