Dear seL4 devs and community.
I try to create a simple project using the seL4 micro kernel. For setting up my environment I followed this (https://github.com/manu88/SeL4_101) and this (https://docs.sel4.systems/projects/buildsystem/incorporating.html) article. As kernel I'm using the last release of SeL4 (https://github.com/seL4/seL4/releases/tag/12.1.0). I created some kind of user application, like Manu88 did with a simple Hello World C-Program. While building with the delivered init-build.sh script I got a lot of repeating errors like this:
CMake Error at tools/cmake-tool/helpers/simulation.cmake:179 (add_custom_command):
Error evaluating generator expression:
$
Target "rootserver_image" not found.
Call Stack (most recent call first):
CMakeLists.txt:22 (GenerateSimulateScript)
While going through Manu88s guide I saw that he also got this errors. But after adding a CMakeList.txt file inside his user code, and declaring it as rootserver inside the CMakeList.txt file (I just copied the contents from here: https://github.com/manu88/SeL4_101/blob/master/projects/Hello/CMakeLists.txt) he got rid of the errors. I still get them and searching through the internet could not find a solution for me. Bellow I added the folder structure of my project.
Project/
├── kernel/
├── projects/
│ ├── Hello/
│ ├── musllibc/
│ ├── utils_libs/
│ ├── seL4_libs/
├── build/
├── tools/
│ └── cmake-tool/
│ └── elfloader-tool/
├── init-build.sh -> tools/cmake-tool/init-build.sh
├── CMakeLists.txt
├── application_settings.cmake -> tools/cmake-tool/helpers/application_settings.cmake
├── settings.cmake
So I cannot tell where the issue lies. Any pointers would be appreciated.
Kind regards,
Sophia
