mips: BCM63XX: ensure that CPU_SUPPORTS_32BIT_KERNEL is set
[platform/kernel/linux-rpi.git] / scripts / selinux /
drwxr-xr-x   ..
-rw-r--r-- 67 Makefile
-rw-r--r-- 107 README
drwxr-xr-x - genheaders
-rwxr-xr-x 2351 install_policy.sh
drwxr-xr-x - mdp