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

…

socfpga_common.h

…

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

…

socfpga_machdep.c

…

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

…

socfpga_rstmgr.h

…

std.socfpga

…