The seL4® Foundation
FOUNDATION
https://sel4.systems/Foundation
Minutes of the 8th Meeting of the seL4 Board
2022-04-05 05:00 to 2022-04-12 05:00 UTC
By Email
Members present
• Gernot Heiser (GH) – Chair
• David Hardin (DH)
• Feng Zhou (FZ)
• Gerwin Klein (GK)
• Ian Xu (IX)
• June Andronick (JA)
• Matthew Grosvenor (MC)
• Olivier Engelkes (OE)
• Qiyan Wang (QW)
Observers present
• Birgit Brecknell
The meeting commenced at 05:00 on 2022-04-05 UTC.
1. Confirmation of minutes of previous meeting
RESOLVED: Draft minutes of 7th meeting, of 2022-02-24 to 2022-03-04 UTC, are
confirmed
2. Matters arising from minutes of previous meetings
• 220225: Proposal for supporting more verified platforms
Held over to a future meeting.
3. For noting
(a) Election of General Members Board representative returned David Hardin from
Raytheon Technologies uncontested.
4. Election of Officers
(a) GH was unanimously elected Chairman
(b) JA was unanimously elected Treasurer
Copyright © 2022 seL4 Project a Series of LF Projects, LLC.
Distributed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.
seL4 is a trademark of LF Projects, LLC.
1
5. Board committees and membership:
RESOLVED: The Board committees continue as follows:
• Compliance Committee (CC)
– Members: GH, JA, GK
• Outreach Committee (OC)
– Members: GH, JA, DH
• Marketing Committee (MC)
– Members: GH, JA
Committees may co-opt members from the Foundation membership as appropriate.
6. Planning for seL4 Summit
The Board received and discussed JA’s update on the planning for the seL4 Summit,
planned for October in Europe.
7. Budget
JA presented the revised 2022 budget, amendments from the previously approved budget
being:
• authorisation of expenses for the seL4 Summit
• authorisation to direct donations to specific “big ticket” verification items according
to the wishes of the donors, to be contracted to Proofcraft.
JA and GK declared an interest in the “big ticket” verification items, as well as some
previously approved budget items affecting Proofcraft.
GH declared an interest in previously approved budget items affecting UNSW.
RESOLVED: The 2022 budget is approved as proposed.
8. Future meetings
A future meeting will discuss strategy, including the proposal (220225) for more verified
platforms. A meeting will likely be held at the Summit. Other meetings will be called on
demand. The meetings may be held by zoom or email.
9. AOB
GH informed the Board that since the commencement of the meeting he was informed
that the seL4 trademark has been registered in the USA.
No further issues were raised.
The meeting closed at 05:00 on 2022-04-12 UTC.
ACTION SUMMARY
From Item Owner Status Action
22-02-25 11 GK TBD Proposal for supporting more verified platforms
Meeting Attendance
2
Current financial year, starting 2022-01-01:
Name Eligible Attended
Gernot Heiser 2 2
June Andronick 2 2
Olivier Engelkes 2 2
Matthew Grosvenor 2 1
David Hardin 2 2
Gerwin Klein 2 2
Qiyan Wang 2 2
Ian Xu 2 2
Feng Zhou 2 2
Acronyms
TS The Trustworthy Systems research group at UNSW Sydney
LF The Linux® Foundation
TSC The Technical Steering Committee of the seL4 Foundation
CC The Compliance Committee of the seL4 Foundation
OC The Outreach Committee of the seL4 Foundation
MC The Marketing Committee of the seL4 Foundation
ATTACHMENTS: Budget on next page
Signed as a true record
2022-10-13
3
Budget - BM 2022-04-05
Apr'2021 to Dec'2021 2022
Income:
Carry-over from previous year ($ 33,491) ($ 339,715)
Income to date this year ($ 417,008) ($ 405,633)
Income forecast ($ 16,380)
Total available now ($ 450,498) ($ 745,348)
Total available forecast ($ 761,728)
Expenses: Last Spent Left Approved Total New item for approval Future Notes
Approved budget budget 2022 Budget Expenses +
budget 2022 options
Services:
Legal (TM) ($ 20,000) ($ 15,813) ($ 4,187) ($ 4,187) ($ 15,000)
Mail hosting ($ 540) ($ 405) ($ 135) ($ 135) ($ 540)
Marketing ($ 10,000) ($ - ) ($ 10,000) ($ 10,000)
Infrastructure:
HW for native web server ($ 2,000) ($ - ) ($ 2,000) ($ 2,000)
CI hardware ($ 5,000) ($ - ) ($ 5,000) ($ 5,000)
CI Infrastructure (hardware) setup ($ 16,000) ($ 16,000) ($ - )
CI Infrastructure (software) setup ($ 15,000) ($ 15,000) ($ - )
Infrastructure support ($ 10,000) ($ 10,000) ($ - ) ($ 35,000) ($ 35,000)
Leadership and Admin:
CEO ($ 21,667) ($ 22,200) ($ (534) ($ 40,000) ($ 39,466)
Admin- Project coordinator ($ 5,868) ($ 5,364.00) ($ 504) ($ 35,210) ($ 35,714)
Verification:
MCS full stack preparation (AC) - (investigation for Access Control model) ($ 35,000) ($ 35,000) ($ 35,000)
Proof improv. 1 - (NumDomains & AbsConfig) ($ 26,000) ($ 26,000.00) ($ - )
Proof improv. 2 - (FastPathEquiv) ($ 41,000) ($ 41,000) ($ 41,000)
Next roadmap item: start MCS CRefine ($ 100,000) ($ 100,000) ($ 100,000)
Next roadmap item ($ 100,000) (as budget comes available)
Big-ticket: MCS verification Donation marked for this project will be allocated to this budget item
Big-ticket: AArch64 verification Donation marked for this project will be allocated to this budget item
Big-ticket: Multicore verification Donation marked for this project will be allocated to this budget item
Systems & Community:
Contract for support (Initial 6 month contract) ($ 30,000) ($ 30,000) ($ 60,000) ($ 90,000)
Further Technical Support ($ 100,000) (as budget comes available)
Reference training ($ 20,000) ($ 20,000) ($ 20,000)
Driver Framework ($ 50,000) ($ 50,000) ($ 50,000) Will only need half
Events:
seL4 Summit ($ 120,000)
Misc:
Contingency ($ 5,000) ($ - ) ($ 5,000) ($ 5,000)
Totals:
Totals expenses ($ 413,075) ($ 110,783) ($ 302,292) ($ 472,502) ($ 120,000) ($ 215,540)
Balance ($ 37,423) ($ 148,206) ($ 272,846) ($ 152,846) ($ (62,694)
Balance forecast ($ 289,226) ($ 169,226) ($ (46,314)
To be approved ($ 120,000)