[Board] Re: (seL4 Foundation) Please read: GM agenda and pre-work