Plaintext
The seL4® Foundation
FOUNDATION
https://sel4.systems/Foundation
Minutes of the 6th Meeting of the seL4 Board
21:00 on 2021-10-06 UTC
By Zoom
Members present
• Gernot Heiser (GH) – Chair
• June Andronick (JA)
• Matthew Grosvenor (MC)
• David Hardin (DH)
• Sascha Kegreiß (SK)
• Gerwin Klein (GK)
Members absent
• Qiyan Wang (QW)
• Ian Xu (IX)
• Feng Zhou (FZ)
The meeting commenced at 21:10 on 2021-10-06 UTC.
1. Confirmation of minutes of previous meeting
RESOLVED: Draft minutes of 5th meeting, of 2021-06-09 UTC, are confirmed
2. Matters arising from minutes of previous meetings
• 210413: Develop endorsement scheme
No progress
3. Update from the Chair
GH updated the Board on:
• Strong growth of membership
• Transition of Trustworthy Systems from CSIRO to UNSW
• Interim endorsement of trusted providers and products
• Service agreements and progress of infrastructure setup
• Status of TM applications
• R&D progress
• Noteworthy events
• OS development issues
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
4. Update from the TSC Chair and matters arising
GK updated the Board on:
• Shepherding of pull requests
• Strong increase of community engagement
• Challenge for endorsements depending on people volunteering their time
• Status of CI test infrastructure
5. Board committees and membership:
Matthew Grosvenor agreed to join the Marketing Committee. The new composition of
the Board committees is:
• Compliance Committee (CC): June Andronick, Gernot Heiser, Gerwin Klein
• Outreach Committee (OC): June Andronick, David Hardin, Gernot Heiser, Daniel
Potts, Sascha Kegreiß
• Marketing Committee (MC): June Andronick, Gernot Heiser, Matthew Grosvenor
6. Budget
The Board discussed the proposed new budget, taking into account the significant
revenue increase since the last budget was approved. Some last-minute changes (planned
expenditure no longer needed) were incorporated.
Declarations of interest:
• GH declared a conflict of interest in items marked with note (1).
• JA declared an interest in items marked with note (2) and (3).
• GK declared an interest in items marked with note (3).
RESOLVED: The revised FY2021 budget is approved as amended during the meeting.
7. Future meetings
Future meetings will be held on demand, the next one likely early in the new year to
approve the FY2022 budget. The meetings may be held by zoom or email.
8. AOB
Nothing raised under this item.
The meeting closed at 22:05 UTC.
ACTION SUMMARY
From Item Owner Status Action
21-04-13 9 CC TBD Develop endorsement scheme for services and
products
Meeting Attendance
Current financial year, starting 2021-04-01:
2
Name Eligible Attended
Gernot Heiser 3 3
June Andronick 3 3
Matthew Grosvenor 1 1
David Hardin 3 3
Sascha Kegreiß 3 3
Gerwin Klein 3 3
Qiyan Wang 1 0
Ian Xu 1 0
Feng Zhou 1 0
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-03-04
3
%XGJHW%0
$SU WR'HF
,QFRPH
&DUU\RYHUIURPSUHYLRXV\HDU 7%&
,QFRPHWRGDWHWKLV\HDU
,QFRPHIRUHFDVW
7RWDODYDLODEOHQRZ
7RWDODYDLODEOHIRUHFDVW
([SHQVHV /DVW 3URSRVHG 1RWHV ,QLWLDO ,WHPVQHZO\ ,QLWLDO 1RWHV
$SSURYHG XSGDWHG XQDYRLGDEOH FRPPLWWHG FRQGLWLRQDO
EXGJHW EXGJHW LWHPV VXJJHVWLRQV
6HUYLFHV
/HJDO 70 XSGDWHG
0DLOKRVWLQJ
0DUNHWLQJ QHZ
,QIUDVWUXFWXUH
+:IRUQDWLYHZHEVHUYHU
&,KDUGZDUH
&,,QIUDVWUXFWXUH KDUGZDUH VHWXS
&,,QIUDVWUXFWXUH VRIWZDUH VHWXS XSGDWHG
,QIUDVWUXFWXUHVXSSRUW XSGDWHG
/HDGHUVKLSDQG$GPLQ
&(2 XSGDWHG PRQWKV
$GPLQ3URMHFWFRRUGLQDWRU QHZ PRQWKV
9HULILFDWLRQ
0&6IXOOVWDFNSUHSDUDWLRQ $& QHZ
3URRILPSURY QHZ
3URRILPSURY QHZ
1H[WURDGPDSLWHP QHZ
1H[WURDGPDSLWHP DVEXGJHWFRPHVDYDLODEOH
6\VWHPV &RPPXQLW\
&RQWUDFWIRUVXSSRUW
)XUWKHU6\VWHPV6XSSRUW DVEXGJHWFRPHVDYDLODEOH
5HIHUHQFHWUDLQLQJ QHZ
'ULYHU)UDPHZRUN QHZ
VH/FRPPXQLW\VXSSRUW XSGDWHG
0LVF
&RQWLQJHQF\
7RWDOV
7RWDOVH[SHQVHV
%DODQFHQRZ
%DODQFHIRUHFDVW
7REHDSSURYHG
1RWHV
,QFUHDVLQJ70EXGJHWE\
&RQWUDFWWR816:
&RQWUDFWWR-XQH$QGURQLFN
&RQWUDFWWR3URRIFUDIW
DGGLWLRQDO.IRUJLWKXEVRIWZDUHVHWXSRIWKHKDUGZDUHLQIUDVWUXFWXUH
DGGLWLRQDO.QRWUHTXLUHG
FXUUHQWFRQWUDFWLVQG-XQWRQG'HF3URSRVDOLVWRDGGZHHNVIRUDQGWKHQH[WHQGIRUDQRWKHUPRQWKV
2SWLRQVIRUQH[WYHULILFDWLRQLWHPV LQYHVWLJDWH0&6LQLWLDOLVDWLRQVWDUWDW0&6&5HILQHLQLWLDOVWDUWDW$DUFKSDUWRISRROIRUIXOO$DUFK
&KDQJHRIVWUDWHJ\ V\VWHPVVXSSRUWSURYLGHGE\&RQWUDFWIRUV\VWHPVVXSSRUW