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

Dear all, Please find attached the agenda and some material and pre-work for the seL4 Foundation General Meeting to be held end of next week. Note that Gernot, chair of the seL4 Foundation, is still offline on leave so some of the agenda might still be tweaked once he’s back online ;) The pre-work shouldn’t take more than 15-30min; there’s a 12min video for the vision, 3 pages to read and 5 small items to think about. We would all greatly appreciate that everyone comes prepared for an efficient and productive meeting :) Please let me know if you have any questions. June