15 Dec
2023
15 Dec
'23
1:28 a.m.
If there is time, I would like to add the tockloader-rs [1] subject to the call. George has been working for a while and has some design decisions to make. The questions are in the pull requests. I might not be able to stay during the whole call (office Christmas Party), but with you permission, I would like to invite George to the call. Best regards, Alexandru [1] https://github.com/tock/tockloader-rs
On Dec 15, 2023, at 07:57, Hudson Ayers <hudayers@gmail.com> wrote:
Please reply with agenda items and +1s for tomorrow's meeting _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org