Hi Nanfang, > When I try to build the tutorial and run > ninja > I got the following error. > > [1/31] Performing build step for 'hello-app' > ninja: no work to do. > [3/31] Performing configure step for 'poke-module' > ... > CMake Warning (dev) in CMakeLists.txt: > No project() command is present. The top-level CMakeLists.txt file must > contain a literal, direct call to the project() command. Add a line of > code such as > > project(ProjectName) > > near the top of the file, but after cmake_minimum_required(). > > CMake is pretending there is a "project(Project)" command on the first > line. > This warning is for project developers. Use -Wno-dev to suppress it.
It could be that the 'DeclareLinuxModule' directive is missing in the CMakeLists.txt file under the 'modules' folder. Or perhaps, the 'ExternalProject_add' directive is missing for the 'poke' kernel module. Additionally, there's a bug with the 'DeclareLinuxModule' directive for the poke module in the tutorial content. The 'DeclareLinuxModule(poke)' line should be this instead: DefineLinuxModule(${CMAKE_CURRENT_LIST_DIR}/poke poke-module poke-target KERNEL_DIR ${LINUX_KERNEL_DIR}) There should be a fix out for this pretty soon. Regards, Damon _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel