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_PROPERTY:rootserver_image,KERNEL_IMAGE_NAME>
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
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
