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

git hw test: enable zynqmp

Browse Source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2021-08-18 18:35:22 +10:00
committed by Gerwin Klein
parent 2075f0cded
commit 82e7a0251d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/sel4test-hw.yml vendored
View File

@@ -77,7 +77,7 @@ jobs:
- am335x_boneblack
- tx2
# - rpi3
# - zynqmp
- zynqmp
compiler: [gcc, clang]
include:
- platform: pc99