[seL4] Re: next seL4 TSC meeting on Thu 25 Jul

On Tue, Jul 23, 2024 at 3:53 AM Gerwin Klein wrote:

...

On 12 Jul 2024, at 23:39, Matt Rice wrote:

[You don't often get email from ratmice@gmail.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]

On Fri, Jul 12, 2024 at 6:19 AM Gerwin Klein via Devel wrote:

...

The Technical Steering Committee (TSC) of the seL4 Foundation will hold its next public meting on:

s/meting/meeting, looking back I notice the same typo me[e]ting in the previous TSC announcement. So presumably this typo needs to be fixed in a meeting announcement template.

It’s less of a template and more of a copy/paste chain :-) Thanks!

I have added cmake to the agenda and will send an updated agenda shortly.

After reading the agenda which references EOL in particular, I should probably clarify my remarks as only now do I realize that the Ubuntu lifecycle timeline has changed since the last time host system requirements for building seL4 were updated. From what I gather starting earlier this year they now have paid 10 & 12 year Pro and Extended support in addition to the previous 5 year LTS window ("Standard support"). My hope is we can essentially ignore these new tiers of paid support and stick with the 5 year LTS window, updating host system requirements from 20.04 after 2025 which is before its extended support window officially ends in 2032.