14 Apr
2023
14 Apr
'23
7:46 a.m.
Hi Jade, excellent! I opened two issues in https://github.com/au-ts/camkes_to_sel4cp_guide/issues
If you had time to look especially at the one about the handling of periodic components, that would be greatly appreciated since it is currently a blocker for us.
Regards Michal