[Tock Devel] Tock core meeting agenda items 2024-06-14