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