Multiple Errors

[sel4]

Multiple Errors

[nomadeel]

Hey, I checked the repository that you linked and I noticed that the directory structure isn't quite like ours. It's similar in that there's a kernel and projects folder, but there are missing scripts in the root directory.

If you use the repo tool with a corresponding manifest, i.e. repo init -u <manifest url> && repo sync. This should set up everything so that it follows our directory structure. You could also re-use this directory structure for your own application development as detailed on our incorporation documentation here.

[JonathonAnderson]

Thanks for the feedback. I will take a closer look at the repo manifest and see how far I get.

I'm a little disappointed that there are additional requirements not documented under incorporation because it's making it pretty confusing to get up and running. I'm pretty sure my current project structure matches the project structure outlined below (along with other required projects that are not mentioned), which comes directly from that documentation.

Is it possible to have the other requirements detailed in the incorporation page?

[nomadeel]

It could be possible that some of the variables that some of the other CMakeLists.txt in the kernel and projects need aren't being set. Perhaps take a look at the easy-settings-cmake file and the settings.cmake file inside the projects/sel4test/ directory of the sel4test-manifest. Most notably is the PLATFORM variable.

[lsf37]

Closing this because of inactivity. Please do feel free to re-open if the issue persists.