mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-09-08 08:48:50 +00:00
c0549c75e7
When calculating the landing spot for handing off the UntypedMemory objects we need to take into account empty slots. Calculate the max occupied slot # and add one. This works so long as empty slots have not been allocated (by CAmkES) at the end of the CNode--which should be safe since we control the MemoryManager CAmkES specification. Change-Id: I5bfb75bd7134254c4475a91653d54e2aeb126721 GitOrigin-RevId: cf14850894ad21be97ea094f977c3420edf322ab
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.