12 Apr
2023
12 Apr
'23
12:25 p.m.
Hi Michal, I think emails are good for short and generic feedback and GitHub issues are good for keeping track of more specific comments. They both work for me. Regards, Jade
On 12 Apr 2023, at 05:17, mpodhradsky@galois.com wrote:
Hi Jade, this is exciting, thanks for sharing the guide!
How would you prefer providing feedback? An email chain on this list, or should we open issues in Trustworthy Systems GitHub repository?
Regards Michal _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems