[Pose] Agenda 05/31/24

Brief agenda for discussion today: * Hudson as PI at the Tock Foundation, so we can add it as a sub-grantee * Treadmill (the hardware CI) progress and plan * Hiring * Summer undergrads * Trademark applications * Tock vs TockOS vs Tock OS * Logo * Updates from Microsoft and Google Talk to you all soon! -Amit