A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4 - Sudvarg, Marion; Gill, Chris (2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022 IEEE 28th International Conference on, RTCSA, 2022)