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
) article. As kernel
I'm using the last release of SeL4
). 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):
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:
) 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.
│ ├── Hello/
│ ├── musllibc/
│ ├── utils_libs/
│ ├── seL4_libs/
│ └── cmake-tool/
│ └── elfloader-tool/
├── init-build.sh -> tools/cmake-tool/init-build.sh
├── application_settings.cmake -> tools/cmake-tool/helpers/application_settings.cmake
So I cannot tell where the issue lies. Any pointers would be appreciated.