mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-09-24 21:07:53 +00:00
3d2a560986
[NB: this is a step toward adding StorageManager] - add app_id to Bundle to enable expanding the skeleton framework (for now this is filled in with the address of the pkg_buffer arg) - change install api to follow design doc (bundle id comes from manifest) - mark start & stop api's as needing a mutable self - hide Bundle internals (more): do not export representation, we will use serde to pass it through camkes - remove assumption hashmap of bundles corresponds to StorageManager contents - use String instead of BundleId and Vec<String> instead of BundleIdArray in public api's (SmallVec & SmallString are impl artifacts now pushed down to ProcManager) - adjust unit tests (ditch kata-proc-manager::tests as it adds nothing) Change-Id: If3d77b031f43c0c867266dbfa66fa31e4ab67033 GitOrigin-RevId: bbadf0b0b09e7978613d57a816363079642e2a45
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.