mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-09-17 15:38:18 +00:00
4fe71acb97
Cmake's list operator operates on the current scope so we were not setting --release on the cargo cmd line. Change-Id: I91aa8489869c3190d60c3f2dee374b3d9388ebda GitOrigin-RevId: 36fa241862c1cb94b736be89d09e8127fefdfc4d
Kata OS
This is a CAmkES project that assembles the entire Kata OS. It exists outside the seL4 source trees, since it contains code not intended to go to upstream seL4.
This uses the standard CAmkES build system by symlinking CMakeLists.txt. It also symlinks settings.cmake, and so retains the notion of "apps," which enables the build system to switch which assembly it builds using the CAMKES_APP CMake cache value. Kata OS just has one app, system.