github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-08-24 07:48:19 +00:00
Code Issues Projects Releases Wiki Activity
main
sparrow-kata-full/apps/system/components/kata-os-common
History
Sam Leffler 05b85c780a sel4-sys: fixup MCS-affected syscall wrappers for aarch64 
- correct seL4_Recv & co for MCS api difference
- split MCS- vs !MCS-syscall wrappers into separate files
- use split inout handling of src => badge

Change-Id: Iecf7fd50bf1f47f135d7123aad968ef482af671e
GitOrigin-RevId: 769bb4d75ae9efca0de52f273caf8268f3c35b8f
2022-10-06 19:04:55 +00:00
..
src sel4-sys: fixup MCS-affected syscall wrappers for aarch64 2022-10-06 19:04:55 +00:00
Cargo.toml kata-os-common: reduce internal dependencies 2022-10-06 19:02:25 +00:00