x86: Make the vdso2c compiler use the host architecture headers
[linux/fpc-iii.git] / arch / arm / firmware / 
treee85a1e59cc8e6a0b3a60a201516a919513d874a2
drwxr-xr-x   ..
-rw-r--r-- 887 Kconfig
-rw-r--r-- 59 Makefile
-rw-r--r-- 2684 trusted_foundations.c