Make sure only supported compiler options are used
[kernel/u-boot.git] / cpu / arm720t /
drwxr-xr-x   ..
-rw-r--r-- 1314 Makefile
-rw-r--r-- 1385 config.mk
-rw-r--r-- 5496 cpu.c
-rw-r--r-- 9115 interrupts.c
-rw-r--r-- 2863 serial.c
-rw-r--r-- 4696 serial_netarm.c
-rw-r--r-- 12391 start.S