ARM64: tizen_bcm2711_defconfig: Enable VIDEO_CODEC_BCM2835
[platform/kernel/linux-rpi.git] / arch / arm / plat-versatile /
drwxr-xr-x   ..
-rw-r--r-- 190 Makefile
-rw-r--r-- 868 headsmp.S
-rw-r--r-- 2553 hotplug.c
drwxr-xr-x - include
-rw-r--r-- 2974 platsmp.c