x86: Make the vdso2c compiler use the host architecture headers
[linux/fpc-iii.git] / arch / microblaze / 
tree11ea49ee287948ec521c8a754299607a4f22c831
drwxr-xr-x   ..
-rw-r--r-- 7546 Kconfig
-rw-r--r-- 612 Kconfig.debug
-rw-r--r-- 1788 Kconfig.platform
-rw-r--r-- 3283 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 - oprofile
drwxr-xr-x - pci