secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove references to kzm platform 

This platform has been removed from seL4 due to ending support. The
sabre platform should be substitutable for camkes examples.

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod 2021-09-15 12:35:11 +10:00 committed by Kent McLeod
parent a419806535
commit 3a160d043e
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cdl-refine-tests/run_tests
View File

@ -124,7 +124,6 @@ override_app_platform = {
'serialserver_interrupt': 'exynos5410',
'serialserver_polling': 'exynos5410',
'serialserver_loopback': 'exynos5410',
'uart': 'kzm',
}

10
docs/index.md
View File

@ -325,13 +325,13 @@ echo and client, communicating over a single interface.
To build this example, from the top-level directory run:
```bash
mkdir build-kzm
cd build-kzm
../init-build.sh -DPLATFORM=kzm -DCROSS_COMPILER_PREFIX=arm-none-eabi- -DCAMKES_APP=simple -DSIMULATE=1
mkdir build
cd build
../init-build.sh -DPLATFORM=sabre -DCAMKES_APP=simple -DSIMULATE=1
ninja
```
This produces an image images/simple-image-arm-imx31. To run this image in
This produces an image images/capdl-loader-image-arm-imx6. To run this image in
qemu:
```bash
@ -515,7 +515,7 @@ DeclareCAmkESRootserver(helloworld.camkes)
You're now ready to compile and run this application, by entering the `CAMKES_APP` value in the cmake configuration GUI:
```bash
cd build-kzm
cd build
cmake . -DCAMKES_APP=helloworld # set `helloworld` as CAMKES_APP
ninja
./simulate