diff --git a/Foundation/Membership/LOGOS/anu.svg b/Foundation/Membership/LOGOS/anu.svg new file mode 100644 index 000000000..e50efe149 --- /dev/null +++ b/Foundation/Membership/LOGOS/anu.svg @@ -0,0 +1,48 @@ + + + + diff --git a/Summit/2027/index.html b/Summit/2027/index.html new file mode 100644 index 000000000..076a7c6dc --- /dev/null +++ b/Summit/2027/index.html @@ -0,0 +1,87 @@ +--- +# Copyright 2020 seL4 Project a Series of LF Projects, LLC. +# SPDX-License-Identifier: CC-BY-SA-4.0 +title: seL4 Summit 2027 +layout: card +pre: "Other years" +pre_link: "../" +redirect_from: /Foundation/Summit/2027/index.html +--- +{% include summit-heading.html + about = 'The seL4 Summit is the annual international summit on the seL4 + microkernel and associated technology, tools, infrastructure, products, + projects, and people. The program committee co-chairs assemble + thought-provoking talks, keynotes, "voices from nearby" and panel + discussions.' + stay-tuned = "stay tuned" + city = "Sydney, Australia" + date = "late Sep / early Oct 2027 (TBC)" +%} + + + +
+ + {% include card.html + icon="user" + title="Call for Presentations" + body="Share your seL4 work, experiences and thoughts at the seL4 Summit 2027." + info = "Coming soon" + %} + + {% include card.html + icon="building-library" + title="Registration, Location & Venue" + body="Information about location, venue and travel." + info = "Coming soon" + %} + + {% include card.html + center=true + icon="book-open" + title="Program" + body="Program and abstracts of the seL4 Summit 2027." + info = "Coming soon" + %} +
+ + + +{% include summit-about-extended.html %} + + + + +{% include section-start.html + id = "co-chairs" + heading = "Co-chairs" +%} + +
+ {% include bio-items-start.html %} + {% include co-chair-item.html + name = "Martin Dehnel-Wild" + role = "Chief Scientist" + img = "/images/summit/martin-square2.png" + affiliation = "Kry10" + affiliation_link = "https://www.kry10.com/" + text = "Dr Martin Dehnel-Wild is Chief Scientist of Kry10, where he leads R&D and heads up Kry10’s UK & European office. He has a DPhil (PhD) in Computer Science from the University of Oxford, where he researched interactive and automated theorem proving for security protocols. Prior to Kry10 he set up and led the UK Government’s formal methods (“provable security”) team, bringing rigorous, automated assurance tooling and techniques to the UK’s most critical and highest security systems. Most of his work over the last 10+ years has focused on pulling formal-methods based tools for software, hardware, and cryptography through to use by regular developers, promoting uptake and use across industry, government, and academia." + %} + {% include co-chair-item.html + name = "Lucy Fletcher" + role = "Software Engineer" + img = "/images/summit/lucy-square.jpg" + affiliation = "Apple" + affiliation_link = "https://apple.com" + text = "Lucy Fletcher is a software engineer at Apple based in Sydney, Australia, + working on L4 microkernels and the surrounding ecosystems. Before joining + Apple, she studied Computer Science at UNSW and worked with the Trustworthy + Systems group, where she focused on the design and development of the seL4 + device driver framework. Lucy is passionate about giving back to the seL4 + community and supporting its continued growth." + %} + {% include bio-items-end.html %} + +
+ +{% include section-end.html %} diff --git a/Summit/index.html b/Summit/index.html index effd9dce6..71e90e6f1 100644 --- a/Summit/index.html +++ b/Summit/index.html @@ -13,6 +13,11 @@
+ {% include summit-card.html + img="/images/summit/sel4_summit_2027_location.svg" + year="2027" + %} + {% include summit-card.html img="/images/summit/sel4_summit_2026_location.svg" year="2026" diff --git a/_data/benchmarks.json b/_data/benchmarks.json index 933ea186b..84041adf5 100644 --- a/_data/benchmarks.json +++ b/_data/benchmarks.json @@ -66,28 +66,28 @@ "clock": "1.0 GHz", "compiler": "arm-linux-gnueabi-gcc GNU 14.2.0", "irq": [ - 772, + 773, 22 ], "call": [ - 366, - 2 + 367, + 3 ], "reply": [ - 351, - 3 + 350, + 4 ], "notify": [ - 1021, - 17 + 1022, + 18 ], "call_fpu": [ - 487, - 4 + 488, + 3 ], "reply_fpu": [ 465, - 3 + 2 ], "build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DITERATIONS=5 -DAARCH32=TRUE -DPLATFORM=sabre" }, @@ -100,28 +100,28 @@ "clock": "3.4 GHz", "compiler": "gcc GNU 14.2.0", "irq": [ - 1651, - 53 + 1618, + 50 ], "call": [ - 780, - 10 + 784, + 6 ], "reply": [ 642, 6 ], "notify": [ - 1502, - 16 + 1479, + 11 ], "call_fpu": [ - 815, - 7 + 812, + 2 ], "reply_fpu": [ - 824, - 13 + 820, + 7 ], "build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DITERATIONS=5 -DPLATFORM=x86_64" }, @@ -135,28 +135,28 @@ "clock": "3.4 GHz", "compiler": "gcc GNU 14.2.0", "irq": [ - 1725, - 52 + 1706, + 56 ], "call": [ - 719, - 31 + 716, + 28 ], "reply": [ - 576, + 575, 3 ], "notify": [ - 753, - 10 + 756, + 8 ], "call_fpu": [ - 787, - 2 + 785, + 3 ], "reply_fpu": [ - 813, - 3 + 810, + 2 ], "build_command": "init-build.sh -DKernelSkimWindow=FALSE -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DITERATIONS=5 -DPLATFORM=x86_64" }, @@ -169,8 +169,8 @@ "clock": "1.9 GHz", "compiler": "aarch64-linux-gnu-gcc GNU 14.2.0", "irq": [ - 882, - 3 + 883, + 4 ], "call": [ 413, @@ -181,8 +181,8 @@ 0 ], "notify": [ - 1055, - 17 + 1053, + 20 ], "call_fpu": [ 594, @@ -203,28 +203,28 @@ "clock": "1.5 GHz", "compiler": "riscv64-unknown-elf-gcc GNU 14.2.0", "irq": [ - 796, - 40 + 804, + 65 ], "call": [ - 688, - 69 + 683, + 65 ], "reply": [ - 757, - 100 + 722, + 21 ], "notify": [ - 1184, - 5 + 1193, + 4 ], "call_fpu": [ - 825, - 118 + 841, + 145 ], "reply_fpu": [ - 818, - 26 + 826, + 72 ], "build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=FALSE -DFAULT=FALSE -DITERATIONS=5 -DRISCV64=TRUE -DPLATFORM=hifive" } @@ -239,24 +239,24 @@ "clock": "1.0 GHz", "compiler": "arm-linux-gnueabi-gcc GNU 14.2.0", "irq": [ - 991, - 17 + 993, + 18 ], "call": [ - 348, - 16 + 357, + 26 ], "reply": [ 381, - 2 + 3 ], "notify": [ - 1325, - 18 + 1322, + 19 ], "call_fpu": [ - 488, - 28 + 479, + 19 ], "reply_fpu": [ 492, @@ -273,28 +273,28 @@ "clock": "3.4 GHz", "compiler": "gcc GNU 14.2.0", "irq": [ - 1985, - 50 + 2016, + 48 ], "call": [ - 783, - 11 + 788, + 3 ], "reply": [ - 664, - 3 + 665, + 8 ], "notify": [ - 1835, - 14 + 1769, + 16 ], "call_fpu": [ - 824, - 11 + 828, + 16 ], "reply_fpu": [ - 851, - 14 + 848, + 12 ], "build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DITERATIONS=5 -DPLATFORM=x86_64 -DMCS=TRUE" }, @@ -308,27 +308,27 @@ "clock": "3.4 GHz", "compiler": "gcc GNU 14.2.0", "irq": [ - 1970, - 64 + 1914, + 63 ], "call": [ - 745, - 32 + 746, + 34 ], "reply": [ - 641, - 2 + 640, + 3 ], "notify": [ - 1060, - 9 + 1059, + 11 ], "call_fpu": [ - 810, - 3 + 813, + 2 ], "reply_fpu": [ - 875, + 874, 3 ], "build_command": "init-build.sh -DKernelSkimWindow=FALSE -DMCS=TRUE -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DITERATIONS=5 -DPLATFORM=x86_64" @@ -342,7 +342,7 @@ "clock": "1.9 GHz", "compiler": "aarch64-linux-gnu-gcc GNU 14.2.0", "irq": [ - 1009, + 1010, 3 ], "call": [ @@ -354,8 +354,8 @@ 0 ], "notify": [ - 1174, - 6 + 1164, + 4 ], "call_fpu": [ 601, @@ -376,32 +376,32 @@ "clock": "1.5 GHz", "compiler": "riscv64-unknown-elf-gcc GNU 14.2.0", "irq": [ - 3626, - 112 + 3604, + 87 ], "call": [ - 709, - 45 + 749, + 110 ], "reply": [ - 824, - 97 + 791, + 58 ], "notify": [ 3969, - 101 + 99 ], "call_fpu": [ - 799, - 19 + 821, + 54 ], "reply_fpu": [ - 916, - 126 + 926, + 116 ], "build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=FALSE -DFAULT=FALSE -DITERATIONS=5 -DRISCV64=TRUE -DPLATFORM=hifive -DMCS=TRUE" } ] }, - "sha": "88d04e3a" + "sha": "317ff50f" } \ No newline at end of file diff --git a/_data/members.json b/_data/members.json index c94d59730..397442706 100644 --- a/_data/members.json +++ b/_data/members.json @@ -58,6 +58,11 @@ } ], "associate": [ + { + "name": "Australian National University", + "logo": "anu.svg", + "url": "https://www.anu.edu.au/" + }, { "name": "Autoware Foundation", "logo": "autoware.svg", diff --git a/_data/menu.json b/_data/menu.json index 2c7f0e738..d35e37524 100644 --- a/_data/menu.json +++ b/_data/menu.json @@ -136,9 +136,9 @@ ], [ "user-group", - "seL4 Summit 2026", + "seL4 Summit 2027", "The seL4 event of the year", - "/Summit/2026/" + "/Summit/2027/" ], [ "backward", diff --git a/_includes/summit-about-extended.html b/_includes/summit-about-extended.html new file mode 100644 index 000000000..6f9de7df9 --- /dev/null +++ b/_includes/summit-about-extended.html @@ -0,0 +1,101 @@ +{%- comment %} +Copyright 2025 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} + +{% include section-start.html +heading='About' +id='about' +margins='pt-16 sm:pt-24' +body-max-w='max-w-6xl' +intro=' +

+ The seL4 Summit: +

+ +

+ The seL4 Summit gathers the seL4 community to learn, share, and connect. +

+ +

+ For any questions regarding the summit, please contact summit@sel4.systems. +

' +%} + +{% include section-end.html %} diff --git a/_includes/summit-heading.html b/_includes/summit-heading.html index ccb94c88d..ddf5a4a88 100644 --- a/_includes/summit-heading.html +++ b/_includes/summit-heading.html @@ -7,6 +7,11 @@

{{include.about}}

+ {% if include.stay-tuned %} +

+ Stay tuned by following us on LinkedIn or subscribing to the RSS for our News page. +

+ {% endif %}
seL4 Summit
diff --git a/_news-items/2026-09-18-anu.html b/_news-items/2026-09-18-anu.html new file mode 100644 index 000000000..327c81e67 --- /dev/null +++ b/_news-items/2026-09-18-anu.html @@ -0,0 +1,19 @@ +--- +# Copyright 2026 seL4 Project a Series of LF Projects, LLC. +# SPDX-License-Identifier: CC-BY-SA-4.0 +title: The Australian National University joins seL4 Foundation + +img: /Foundation/Membership/LOGOS/anu.svg +alt: ANU +link: https://www.anu.edu.au/ +--- + +

+ The seL4 Foundation is pleased to welcome the Australian National University (ANU) as an Associate Member. ANU's School of Computing has a longstanding connection to seL4, and ANU researchers have contributed to seL4's original verification efforts and DARPA's HACMS program. +

+

+ This research contribution continues to grow through a broader concentration of formal methods and programming-languages expertise at ANU. Current work involves the development of programming languages for use with the seL4 Microkit. +

+

+ The membership strengthens active collaborations between ANU's School of Computing and fellow Australian-based member organisations on the development of secure technology based on the seL4 ecosystem. +

diff --git a/_news-items/2026-10-XX-summit-co-chairs.html b/_news-items/2026-10-XX-summit-co-chairs.html new file mode 100644 index 000000000..4869e8169 --- /dev/null +++ b/_news-items/2026-10-XX-summit-co-chairs.html @@ -0,0 +1,52 @@ +--- +# Copyright 2026 seL4 Project a Series of LF Projects, LLC. +# SPDX-License-Identifier: CC-BY-SA-4.0 +title: Next summit will be in Sydney! Meet its co-chairs +anchor: summit-co-chairs +img: /images/summit/sel4_summit_2027_location-graphics.svg +img_alt: seL4 Summit 2027 +img_w: w-3/10 +link: /Summit/2027/ +dark: true +--- + +

+ We are thrilled to announce our co-chairs, Martin Dehnel-Wild and Lucy + Fletcher, for the seL4 summit 2027, which will be held in Sydney, late + Spetember - early October (dates TBC). +

+ +{% include bio-items-start.html %} + + {% include co-chair-item.html + name = "Martin Dehnel-Wild" + role = "Chief Scientist" + img = "/images/summit/martin-square2.png" + affiliation = "Kry10" + affiliation_link = "https://www.kry10.com/" + text = "Dr Martin Dehnel-Wild is Chief Scientist of Kry10, where he leads R&D and heads up Kry10’s UK & European office. He has a DPhil (PhD) in Computer Science from the University of Oxford, where he researched interactive and automated theorem proving for security protocols. Prior to Kry10 he set up and led the UK Government’s formal methods (“provable security”) team, bringing rigorous, automated assurance tooling and techniques to the UK’s most critical and highest security systems. Most of his work over the last 10+ years has focused on pulling formal-methods based tools for software, hardware, and cryptography through to use by regular developers, promoting uptake and use across industry, government, and academia." + %} + {% include co-chair-item.html + name = "Lucy Fletcher" + role = "Software Engineer" + img = "/images/summit/lucy-square.jpg" + affiliation = "Apple" + affiliation_link = "https://apple.com" + text = "Lucy Fletcher is a software engineer at Apple based in Sydney, Australia, + working on L4 microkernels and the surrounding ecosystems. Before joining + Apple, she studied Computer Science at UNSW and worked with the Trustworthy + Systems group, where she focused on the design and development of the seL4 + device driver framework. Lucy is passionate about giving back to the seL4 + community and supporting its continued growth." + %} + +{% include bio-items-end.html %} + +
+

+ We look forward to welcoming the community at the seL4 summit 2027! +

+

+ Stay tuned by following us on LinkedIn or subscribing to the RSS for our News page. +

+
\ No newline at end of file diff --git a/images/summit/martin-square2.png b/images/summit/martin-square2.png new file mode 100644 index 000000000..c19c6cbef Binary files /dev/null and b/images/summit/martin-square2.png differ diff --git a/images/summit/sel4_summit_2027.svg b/images/summit/sel4_summit_2027.svg new file mode 100644 index 000000000..b492b0ccb --- /dev/null +++ b/images/summit/sel4_summit_2027.svg @@ -0,0 +1,334 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 2 + 0 + 2 + 7 + + + + + + + + + + + + + + + diff --git a/images/summit/sel4_summit_2027_location-graphics.svg b/images/summit/sel4_summit_2027_location-graphics.svg new file mode 100644 index 000000000..a1a9b3522 --- /dev/null +++ b/images/summit/sel4_summit_2027_location-graphics.svg @@ -0,0 +1,218 @@ + + + +2027 diff --git a/images/summit/sel4_summit_2027_location.svg b/images/summit/sel4_summit_2027_location.svg new file mode 100644 index 000000000..5261a4a95 --- /dev/null +++ b/images/summit/sel4_summit_2027_location.svg @@ -0,0 +1,111 @@ + + + +227o