On Tue, Jul 23, 2024 at 3:53 AM Gerwin Klein <kle...@unsw.edu.au> wrote:
>
>
>
> > On 12 Jul 2024, at 23:39, Matt Rice <ratm...@gmail.com> wrote:
> >
> > [You don't often get email from ratm...@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
> > <devel@sel4.systems> 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.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
