Merge tag 'tee-drv-for-4.20' of git://git.linaro.org/people/jens.wiklander/linux...
[platform/kernel/linux-rpi.git] / arch / mips / pic32 /
drwxr-xr-x   ..
-rw-r--r-- 1009 Kconfig
-rw-r--r-- 201 Makefile
-rw-r--r-- 231 Platform
drwxr-xr-x - common
drwxr-xr-x - pic32mzda