1
0
mirror of https://git.FreeBSD.org/src.git synced 2025-01-03 12:35:02 +00:00
freebsd/sys/arm
Andrew Turner f37128c048 Move the Ti SoCs to use the ARM platform. This should help allowing a
single kernel to work on both PandaBoard and BeagleBone.
2014-05-17 18:35:22 +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 Move the Ti SoCs to use the ARM platform. This should help allowing a 2014-05-17 18:35:22 +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 FDT_PLATFORM_DEF2 for when there are multiple platforms needing to use 2014-05-17 18:02:46 +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 Move the Ti SoCs to use the ARM platform. This should help allowing a 2014-05-17 18:35:22 +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