Last minute addition: - Discussion on how to encourage/support addition board/chip ports, concretely. Referencing https://github.com/tock/tock/issues/3714 and other inquiries about the ESP32s Hudson Randal Ayers <hayers@stanford.edu> writes:

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