Hi Sachin, > I am new to L4 and have been working through the tutorials. However, I am > having a problem doing the hello-camkes-0 tutorial. When I try to install > the tutorial, I get the output below. Looks like a file > hello-camkes-0_build/camkes_gen/deps_1 is not there. Any help would be > greatly appreciated!
I've checked the logs that you provided and it seems that the CMake configuration failed. In particular, in the last part of the logs, a Python script which calls 'cmake' to generate some files failed. It could be that the version of CMake you have is different from the ones we use which could be causing problems. We have some docker images [1] which contain all the tools necessary to build our projects, so you could try using that and see if it works. Also perhaps try running 'repo sync' to pull the latest sources as well. Regards, Damon [1] https://docs.sel4.systems/projects/dockerfiles/ _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
