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

CMake: Correct allwinnerA20 platform name

Browse source 
This name is case sensitive
This commit is contained in:
Kent McLeod 2019-08-12 15:30:08 +10:00
parent 3576377b08
commit a603c7f811
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/plat/allwinnerA20/config.cmake
View file

@ -12,15 +12,15 @@
cmake_minimum_required(VERSION 3.7.2)
declare_platform(allwinnera20 KernelPlatformAllwinnerA20 PLAT_ALLWINNERA20 KernelSel4ArchAarch32)
declare_platform(allwinnerA20 KernelPlatformAllwinnerA20 PLAT_ALLWINNERA20 KernelSel4ArchAarch32)
if(KernelPlatformAllwinnerA20)
declare_seL4_arch(aarch32)
set(KernelArmCortexA7 ON)
set(KernelArchArmV7a ON)
config_set(KernelARMPlatform ARM_PLAT allwinnera20)
list(APPEND KernelDTSList "tools/dts/allwinnera20.dts")
list(APPEND KernelDTSList "src/plat/allwinnerA20/overlay-allwinnera20.dts")
config_set(KernelARMPlatform ARM_PLAT allwinnerA20)
list(APPEND KernelDTSList "tools/dts/allwinnerA20.dts")
list(APPEND KernelDTSList "src/plat/allwinnerA20/overlay-allwinnerA20.dts")
declare_default_headers(
TIMER_FREQUENCY 24000000llu

0
src/plat/allwinnerA20/overlay-allwinnera20.dts → src/plat/allwinnerA20/overlay-allwinnerA20.dts
View file

0
tools/dts/allwinnera20.dts → tools/dts/allwinnerA20.dts
View file