On Fri, Dec 3, 2021 at 8:14 AM <so_s(a)gmx.de> wrote:
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.
If you are using
inside projects/Hello/ then you need to make sure that the top level
CMakeLists inside Project/ is either a symlink to
tools/cmake-tool/default-CMakeLists.txt or is similar to
this file layout, ../init-build.sh will end up calling the following
CMake invocation: `cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G
Ninja -DSEL4_CACHE_DIR=../.sel4_cache -C "../settings.cmake" "../"`.
What is the contents of your settings.cmake file?
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems