Follow-up from https://sel4.discourse.group/t/pre-rfc-exposing-cross-component-tcbs-via-camkes-template/479/4
CAmkES lacks a concept for defining “monitor” or “supervisor” relationships between component instances to deal with concerns such as fault handling or scheduling.
Follow-up from https://sel4.discourse.group/t/pre-rfc-exposing-cross-component-tcbs-via-camkes-template/479/4
CAmkES lacks a concept for defining “monitor” or “supervisor” relationships between component instances to deal with concerns such as fault handling or scheduling.