Gregory Nutt 07870c1161 Make it clear that GIC support is GICv2		2016-03-14 10:50:27 -06:00
..
defconfig	Make it clear that GIC support is GICv2	2016-03-14 10:50:27 -06:00
Make.defs	Change use of mknulldeps.sh to mkwindeps.sh	2016-01-09 14:13:44 -06:00
setenv.sh	Fix references to the no-longer-existent misc/ directory in comments, README files, and documentation	2015-06-28 08:08:57 -06:00