portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add support for Odroid XU3

Browse source 
The XU3 uses a 5422 which for seL4's purposes is almost the same as
the Odroid XU's 5410.  Define a new PLAT_EXYNOS54XX to cover both.

Keep PLAT_EXYNOS5410 and ...5422 for the few places (not in the
kernel) where the difference matters.
This commit is contained in:
Peter Chubb 2014-10-15 13:00:26 +11:00
parent 9e8636dd95
commit 54b5cb6920
2 changed files with 17 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
Kconfig
View file

@ -77,7 +77,13 @@ config ARCH_IA32
Support for Cortex A15 processor
endchoice
config PLAT_EXYNOS54XX
bool
default n
help
Common flag for Exynos 54210 and 5422
choice
prompt "Platform Type"
help
@ -113,11 +119,20 @@ config ARCH_IA32
config PLAT_EXYNOS5410
bool "EXYNOS5410 (ODROID-XU)"
select PLAT_EXYNOS54XX
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for EXYNOS5410 platform (ODROID-XU).
config PLAT_EXYNOS5422
bool "EXYNOS5422 (ODROID-XU3)"
select PLAT_EXYNOS54XX
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for EXYNOS5422 platform (ODROID-XU3).
config PLAT_EXYNOS5250
bool "EXYNOS5250 (ARNDALE)"
depends on ARCH_ARM
@ -125,7 +140,6 @@ config ARCH_IA32
help
Support for EXYNOS5250 platform (ARNDALE).
config PLAT_APQ8064
bool "Qualcomm Snapdrogon S4 APQ8064 (Inforce IFC6410)"
depends on ARCH_ARM

2
include/plat/exynos5/plat/machine/devices.h
View file

@ -325,7 +325,7 @@
#define C2C_GPIO_PADDR 0x10D10000
#define AUDIO_GPIO_PADDR 0x03860000
#elif defined(PLAT_EXYNOS5410) /* Odroid-XU */
#elif defined(PLAT_EXYNOS54XX) /* Odroid XU and XU3 */
#define GPIO_LEFT_PADDR 0x14000000
#define GPIO_RIGHT_PADDR 0x13400000
#define C2C_GPIO_PADDR 0x10D10000