Hi Nick, I would recommend looking for more detailed initial feedback and discussion by starting a thread on the discourse (sel4.discourse.group) before submitting an RFC.
Cheers, Curtis _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
