nmi_watchdog: Clean up various small details
[profile/ivi/kernel-x86-ivi.git] / arch / microblaze /
drwxr-xr-x   ..
-rw-r--r-- 6285 Kconfig
-rw-r--r-- 637 Kconfig.debug
-rw-r--r-- 3189 Makefile
drwxr-xr-x - boot
drwxr-xr-x - configs
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - oprofile
drwxr-xr-x - platform