mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-09-14 22:19:04 +00:00
09ed791c1e
- remove vestiges of mapped ELF file; models now come from SecurityCoordinator using a LoadModel request in the form of a BundleImage - change execute api to take a bundle_id & model_id - track loded bundle_id & model_id to handle switching between models - load_elf -> load_image (which loads a BundleImage) - add a client-side wrapper to hide marshalling details - add a copyregion (VSpace hole) for processing BundleImages - integrate with slot allocator - setup the heap (needed for various things) Change-Id: I50f3526bddefcdb67b742d42ca396bfefc10801f GitOrigin-RevId: 80aa0da34b057b334b7d76932c7ad25146364569
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.