[AVR32] pcmcia ioaddr_t should be 32 bits on AVR32
[powerpc.git] / samples /
drwxr-xr-x   ..
-rw-r--r-- 304 Kconfig
-rw-r--r-- 69 Makefile
drwxr-xr-x - markers