On Fri, Dec 3, 2021 at 8:14 AM <[email protected]> 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 > (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.
If you are using https://github.com/manu88/SeL4_101/blob/master/projects/Hello/CMakeLists.txt 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 https://github.com/manu88/SeL4_101/blob/master/CMakeLists.txt. With 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? > > Kind regards, > Sophia > _______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
