Hi all,
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
$ ninja
$ ./simulate
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!
https://docs.sel4.systems/projects/camkes-arm-vm/
repo init -u https://github.com/seL4/camkes-vm-examples-manifest
repo sync
mkdir build
cd build
../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 (find_package):
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:
camkes-vm-imagesConfig.cmake
camkes-vm-images-config.cmake
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):
CMakeLists.txt:19 (camkes_arm_vm_setup_arm_vm_environment)
-- Configuring incomplete, errors occurred!
See also "/home/jorge/hdd/work/build/CMakeFiles/CMakeOutput.log".
“
Best,
Jorge
