freebsd-dev/sys/arm
Andrew Turner 27521ff8e4 Add the start of the ARM platform code. This is based on the PowerPC
platform code, it is expected these will be merged in the future when the
ARM code is more complete.

Until more boards can be tested only use this with the Raspberry Pi and
rrename the functions on the other SoCs.

Reviewed by:	ian@
2014-05-17 11:27:36 +00:00
..
allwinner Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
arm Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
at91 When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00
broadcom/bcm2835 Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
cavium/cns11xx When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00
conf Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
freescale Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
include Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
lpc Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
mv Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
rockchip Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
s3c2xx0 When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00
samsung/exynos Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
tegra Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
ti Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
versatile Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
xilinx Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
xscale When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00