I’m getting familiar with SeL4 build system and I’ve been running several application
examples and also creating my own on top of the kernel using CAmKES. Very good.
$ mkdir camkes-project;
$ cd camkes-project;
$ repo init -u https://github.com/seL4/camkes-manifest.git
$ repo sync;
$ ../init-build.sh -DPLATFORM=sabre -DAARCH32=1 -DCAMKES_APP=helloworld -DSIMULATION=1
Again, so far, so good! Several CAmKES examples up and running.
Now, I want to run virtual machines on top of it, I’ve seen several posts on internet and
even in the official SeL4 website and none of them are working on my side. Can you please
give me some pointers to be able to do so?
We really want to start using SeL4 in our products with virtual machines, but current
documentation is not ideal. I don’t have experience in CMAKE and that might be the real
problem 😊. I need your help to ramp up in the SeL4 project!
repo init -u https://github.com/seL4/camkes-vm-examples-manifest
../init-build.sh -DCAMKES_VM_APP=vm_minimal -DPLATFORM=tk1
When running ../init-build.sh I get the following:
CMake Error at /home/jorge/hdd/work/projects/vm/Findcamkes-arm-vm.cmake:39
By not providing "Findcamkes-vm-images.cmake" in CMAKE_MODULE_PATH this
project has asked CMake to find a package configuration file provided by
"camkes-vm-images", but CMake did not find one.
Could not find a package configuration file provided by "camkes-vm-images"
with any of the following names:
Add the installation prefix of "camkes-vm-images" to CMAKE_PREFIX_PATH or
set "camkes-vm-images_DIR" to a directory containing one of the above
files. If "camkes-vm-images" provides a separate development package or
SDK, be sure it has been installed.
Call Stack (most recent call first):
-- Configuring incomplete, errors occurred!
See also "/home/jorge/hdd/work/build/CMakeFiles/CMakeOutput.log".