RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

configs: remaining verified aarch64 configs

Browse Source 
This adds verified configs for all remaining supported AArch64 boards.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2025-01-06 09:13:43 +11:00
parent 58e4012eec
commit 8d85057b06
7 changed files with 69 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
configs/AARCH64_imx8mm_verified.cmake Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "imx8mm-evk" CACHE STRING "")

10
configs/AARCH64_imx8mq_verified.cmake Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "imx8mq-evk" CACHE STRING "")

10
configs/AARCH64_imx93_verified.cmake Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "imx93" CACHE STRING "")

10
configs/AARCH64_maaxboard_verified.cmake Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "maaxboard" CACHE STRING "")

10
configs/AARCH64_rockpro64_verified.cmake Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "rockpro64" CACHE STRING "")

9
configs/AARCH64_tqma_verified.cmake Executable file
View File

@@ -0,0 +1,9 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "tqma8xqp1gb" CACHE STRING "")

10
configs/AARCH64_tx1_verified.cmake Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: GPL-2.0-only
#
include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
set(KernelPlatform "tx1" CACHE STRING "")