There is a newly opened RFC on GitHub, https://github.com/tock/tock/issues/4418, based on a discussion that came up during the core team call today. This RFC may be relevant to a wider audience than is able to regularly track GitHub issues, so I'm sending a pointer to it here. If you have comments or feedback, please leave them on the GitHub issue. -Pat