mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-08-23 15:28:19 +00:00
d0d46c89e1
Setup a connection to the SDKRuntime for each application. To do this add an SDKManager interface to the SDKRuntime for the ProcessManager to obtain a badged endpoint and install that in each application's CNode. SDKRuntime now rejects requests received without a registered badge. RPC's are handled entirely in Rust (no CAmkES). ProcessManager sets up RPC resources and delivers them to an application through registers. The application-side SDK runtime uses the resources to marshal RPC parameters in a page that is attached to the IPC buffer sent to the SDKRuntime. Reply parameters are written to the shared page and decoded on return. Overhaul the SDKRuntime api to be like SecurityCoordinator to consolidate parameter marhsaling/unmarshaling and to simplify adding new methods. Rust applications use the SDKRuntime interface directly. C application will wrap a C interface around the Rust impl (TBD). Specific changes: - add SDKManagerInterface - sel4bundle now plumbs a connection to the SDKRuntime, the CNode slot with the capability is passed to the application to future-proof CNode setup changes (an alternative is to use a global const since we control the application-side runtime api's) - add kata-sdk-manager crate with SDKManager client interface support; the only api's are get_endpoint (to get a badged endpoint to SDKRuntime), release_endpoint (to remove a badged endpoint), and capscan (to dump the SDKRuntime's top-level CNode) - add "capscan sdk" in the shell to inspect the SDKRuntime service - make SDKRuntime require a registered badge on inbound IPCs - fill-in ping & log SDK api's - connect ProcessManager to SDKRuntime for SDKManager api use, everything else happens outside CAmkES - make SDKRuntime lock against concurrent requests--the SDKManager runs concurrently and shares SDKRuntime state - remove kata-shell test_sdk_* commands (replaced by test applications) Change-Id: I7810949ad0051ff8eda244e0385f662882a556e4 GitOrigin-RevId: 5fef55428e076f670cff325965047c98d84cfbca |
||
|---|---|---|
| .. | ||
| src | ||
| Cargo.toml | ||
| cbindgen.toml | ||
| Makefile | ||