vfio: platform: add dev_info on device reset
[linux/fpc-iii.git] / arch / nios2 / 
treebeede5c9616945842113baa2bb431b736061fc30
drwxr-xr-x   ..
-rw-r--r-- 5223 Kconfig
-rw-r--r-- 814 Kconfig.debug
-rw-r--r-- 2395 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 - platform