Andrew Turner ace157c3a9 Use the new gic option on all configs that need it.		2015-05-10 12:13:27 +00:00
..
socfpga	Use the new gic option on all configs that need it.	2015-05-10 12:13:27 +00:00