andrew 502d4577e2 Use the new gic option on all configs that need it.		2015-05-10 12:13:27 +00:00
..
files.socfpga	Use the new gic option on all configs that need it.	2015-05-10 12:13:27 +00:00
socfpga_common.c	Add Reset Manager driver. This driver provides generic way to reset	2014-09-11 18:12:28 +00:00
socfpga_common.h	o Remove __unused attribute on variables which actually used	2014-09-06 18:08:21 +00:00
socfpga_gpio.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
socfpga_l3regs.h	Add Reset Manager driver. This driver provides generic way to reset	2014-09-11 18:12:28 +00:00
socfpga_machdep.c	o Add PIO and vtblk mmio device info to the tree	2014-11-25 16:06:19 +00:00
socfpga_manager.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
socfpga_mp.c	Include vm/pmap.h for pmap_kextract.	2015-04-04 23:03:11 +00:00
socfpga_rstmgr.c	Add Reset Manager driver. This driver provides generic way to reset	2014-09-11 18:12:28 +00:00
socfpga_rstmgr.h	Add Reset Manager driver. This driver provides generic way to reset	2014-09-11 18:12:28 +00:00
std.socfpga	Remove -Wa,-march=armv7a from arm kernel configs, it makes clang 3.5 sad	2015-01-01 23:21:46 +00:00