br 778cc5a811 Move arm's devmap to some generic place, so it can be used ... by other architectures. Reviewed by: imp Differential Revision: https://reviews.freebsd.org/D6091 Sponsored by: DARPA, AFRL Sponsored by: HEIF5		2016-04-26 11:53:37 +00:00
..
files.socfpga	Create device options for the two common ARM timers.	2015-11-21 16:23:56 +00:00
socfpga_common.c	Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine	2016-04-15 16:05:41 +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	Move arm's devmap to some generic place, so it can be used	2016-04-26 11:53:37 +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	Almost all copies of platform_mp_init_secondary just called	2016-02-26 16:04:47 +00:00
socfpga_rstmgr.c	Cleanup unnecessary semicolons from the kernel.	2016-04-10 23:07:00 +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	Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.	2016-02-22 11:47:28 +00:00