diff --git a/REUSE.toml b/REUSE.toml
index 2b2553a98..64f85a310 100644
--- a/REUSE.toml
+++ b/REUSE.toml
@@ -94,6 +94,7 @@ SPDX-License-Identifier = "CC-BY-SA-4.0"
 path = [
   "_includes/abstracts/*/*.html",
   "Summit/*/slides/*.pdf",
+  "Summit/*/posters/*.pdf",
 ]
 SPDX-FileCopyrightText = "Various. Each abstract and slide set is copyright of the talk author."
 SPDX-License-Identifier = "CC-BY-SA-4.0"
diff --git a/Summit/2026/abstracts2026.html b/Summit/2026/abstracts2026.html
index 980a35d70..9827e4472 100644
--- a/Summit/2026/abstracts2026.html
+++ b/Summit/2026/abstracts2026.html
@@ -35,6 +35,8 @@
   presenter = "Martin Dehnel-Wild"
   affiliation = "Kry10"
   text = "abstracts/2026/proof-product-text-only.html"
+  slides = "slides/proof-product.pdf"
+  youtube = "https://youtu.be/u9jClxwVUm8?si=JKaw32vohCU5MuPy"
 %}
 
 {% include abstract-item.html
@@ -45,6 +47,8 @@
   presenter = "Anjana Rajan"
   affiliation = "Atalanta"
   text = "abstracts/2026/age-software-text-only.html"
+  slides = "slides/age-software.pdf"
+  youtube = "https://youtu.be/KfN00MYrFzQ?si=4_0SNB4-5SHz6jbx"
 %}
 
 {% include abstract-heading.html
@@ -60,6 +64,7 @@
   presenter = "Alistair Woodman"
   affiliation = "Erlang Ecosystem Foundation"
   text = "abstracts/2026/staying-red-text-only.html"
+  youtube = "https://youtu.be/zmxTnb2kw1g?si=xGA5JIG9YpoElBap"
 %}
 
 {% include abstract-item.html
@@ -70,6 +75,8 @@
   presenter = "David Hardin"
   affiliation = "Collins Aerospace"
   text = "abstracts/2026/trends-formal-text-only.html"
+  slides = "slides/trends-formal.pdf"
+  youtube = "https://youtu.be/6sxS06RJTzE?si=8ffsESNHgglD2VYN"
 %}
 
 {% include abstract-heading.html
@@ -92,6 +99,7 @@
         '
   abstract = "abstracts2026.html#a-panel"
   text = "abstracts/2026/panel-text-only.html"
+  youtube = "https://youtu.be/jAirEkULNsQ?si=ZkPxzFXNgK1lR0S-"
 %}
 
 {% include abstract-heading.html
@@ -107,6 +115,8 @@
   presenter = "June Andronick"
   affiliation = "Proofcraft and seL4 Foundation"
   text = "abstracts/2026/sel4-what-text-only.html"
+  slides = "slides/sel4-what.pdf"
+  youtube = "https://youtu.be/dF2qJdiaO4A?si=s25sdXgqAGj9yV1r"
 %}
 
 {% include abstract-item.html
@@ -117,6 +127,8 @@
   presenter = "Adam W1"
   affiliation = "NCSC"
   text = "abstracts/2026/ncsc-text-only.html"
+  slides = "slides/ncsc.pdf"
+  youtube = "https://youtu.be/KB64yT9nBUU?si=YmsZMM3_6_EZx5DB"
 %}
 
 {% include abstract-item.html
@@ -127,6 +139,8 @@
   presenter = "Ihor Kuz"
   affiliation = "Kry10"
   text = "abstracts/2026/kry10-os-text-only.html"
+  slides = "slides/kry10-os.pdf"
+  youtube = "https://youtu.be/0orNdV7DVAs?si=2D5QY8E8vB23Zqhh"
 %}
 
 {% include abstract-item.html
@@ -137,6 +151,8 @@
   presenter = "Jonathan Marshall"
   affiliation = "SafeShark"
   text = "abstracts/2026/navigating-cyber-text-only.html"
+  slides = "slides/navigating-cyber.pdf"
+  youtube = "https://youtu.be/WTA15_NBuMY?si=ARAIAl_MOjGvRzCO"
 %}
 
 {% include abstract-item.html
@@ -147,6 +163,8 @@
   presenter = "June Andronick"
   affiliation = "Proofcraft and seL4 Foundation"
   text = "abstracts/2026/formal-verification-text-only.html"
+  slides = "slides/formal-verification.pdf"
+  youtube = "https://youtu.be/JZ0XGySYX1c?si=bk_K7sydl89HhzoH"
 %}
 
 {% include abstract-item.html
@@ -157,6 +175,8 @@
   presenter = "Robbie VanVossen"
   affiliation = "Dornerworks"
   text = "abstracts/2026/cyber-hardened-text-only.html"
+  slides = "slides/cyber-hardened.pdf"
+  youtube = "https://youtu.be/mp2QJ9_GlG8?si=JQBZLL7--O6AWeZj"
 %}
 
 {% include abstract-item.html
@@ -167,6 +187,8 @@
   presenter = "Nathan Studer"
   affiliation = "Dornerworks"
   text = "abstracts/2026/throwing-sel4-text-only.html"
+  slides = "slides/throwing-sel4.pdf"
+  youtube = "https://youtu.be/DA6duKrxSN4?si=d_PDUdjwlcN2ob-A"
 %}
 
 {% include abstract-item.html
@@ -178,6 +200,8 @@
   affiliation = "Trusted Science and Technology (Trusted ST)"
   info = "<br><span class='text-dark text-sm sm:text-base'>Paul Pazandak,</span><br><span class='text-light text-sm sm:text-base'>Real-Time Innovations (RTI)</span>"
   text = "abstracts/2026/assured-robotics-text-only.html"
+  slides = "slides/assured-robotics.pdf"
+  youtube = "https://youtu.be/BBmW6RosnV8?si=0XRtUtZz30bFdADu"
 %}
 
 {% include abstract-item.html
@@ -188,6 +212,8 @@
   presenter = "Philipp Scholl"
   affiliation = "ABB Corporate Research"
   text = "abstracts/2026/evolving-legacy-text-only.html"
+  slides = "slides/evolving-legacy.pdf"
+  youtube = "https://youtu.be/LbQRX0uBs1E?si=d8ReXNmYzlS-tyvX"
 %}
 
 {% include abstract-item.html
@@ -198,6 +224,8 @@
   presenter = "Nils Brand"
   affiliation = "Fraunhofer IESE"
   text = "abstracts/2026/tsdx-text-only.html"
+  slides = "slides/tsdx.pdf"
+  youtube = "https://youtu.be/rqxFbrnAAb0?si=IfFaixARz_cfBXkQ"
 %}
 
 {% include abstract-item.html
@@ -208,6 +236,8 @@
   presenter = "Ryan Barry"
   affiliation = "Proofcraft"
   text = "abstracts/2026/sel4-security-text-only.html"
+  slides = "slides/sel4-security.pdf"
+  youtube = "https://youtu.be/y6_lAgqqcBo?si=79qnJeSbTPCCxNeI"
 %}
 
 {% include abstract-item.html
@@ -218,6 +248,8 @@
   presenter = "Gernot Heiser"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/trustworthy-systems-text-only.html"
+  slides = "slides/trustworthy-systems.pdf"
+  youtube = "https://youtu.be/iwjZ2zdqnTY?si=Lg2DrESoUikpYcpt"
 %}
 
 {% include abstract-item.html
@@ -228,6 +260,8 @@
   presenter = "Rob Sison"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/time-protection-text-only.html"
+  slides = "slides/time-protection.pdf"
+  youtube = "https://youtu.be/OpFlTLtLNwM?si=6jf_WXxBUeIDbo8p"
 %}
 
 {% include abstract-item.html
@@ -238,6 +272,8 @@
   presenter = "Miki Tanaka"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/pancake-text-only.html"
+  slides = "slides/pancake.pdf"
+  youtube = "https://youtu.be/xdMnlcZrOS4?si=R5oWyyDNNk3AmJ9v"
 %}
 
 {% include abstract-item.html
@@ -248,6 +284,8 @@
   presenter = "Gus O'Hanley"
   affiliation = "Galois"
   text = "abstracts/2026/verifying-sel4-text-only.html"
+  slides = "slides/verifying-sel4.pdf"
+  youtube = "https://youtu.be/p8dO5xXuE4U?si=EXKSdLk1odgSs-t6"
 %}
 
 {% include abstract-item.html
@@ -258,6 +296,8 @@
   presenter = "Liam Murphy"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/formalising-device-text-only.html"
+  slides = "slides/formalising-device.pdf"
+  youtube = "https://youtu.be/BseyKnmVRlk?si=WcArERdgavUNDhrp"
 %}
 
 {% include abstract-item.html
@@ -268,6 +308,8 @@
   presenter = "Daniel Neshyba-Rowe"
   affiliation = "Lewis & Clark College"
   text = "abstracts/2026/verification-udp-text-only.html"
+  slides = "slides/verification-udp.pdf"
+  youtube = "https://youtu.be/mRIyOmu7OBg?si=EFP0g2zrqVW3jk22"
 %}
 
 {% include abstract-item.html
@@ -278,6 +320,8 @@
   presenter = "Lesley Rossouw"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/simplifying-microkit-text-only.html"
+  slides = "slides/simplifying-microkit.pdf"
+  youtube = "https://youtu.be/9JK9P4k_08w?si=llkPEzX_dHm5PtmC"
 %}
 
 {% include abstract-item.html
@@ -288,6 +332,8 @@
   presenter = "Daniel Schwyn"
   affiliation = "Neutrality"
   text = "abstracts/2026/policy-free-text-only.html"
+  slides = "slides/policy-free.pdf"
+  youtube = "https://youtu.be/v0An0l3kIHc?si=6KTZu7NRAdGZck3L"
 %}
 
 {% include abstract-item.html
@@ -298,6 +344,8 @@
   presenter = "Guangtao Zhu"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/carrels-text-only.html"
+  slides = "slides/carrels.pdf"
+  youtube = "https://youtu.be/MqxP5Z8qUw4?si=frEPSiF4mChz5A25"
 %}
 
 {% include abstract-item.html
@@ -308,6 +356,8 @@
   presenter = "Scott Brookes, Gordon Stewart, David Swasey"
   affiliation = "Riverside Research"
   text = "abstracts/2026/single-kernel-text-only.html"
+  slides = "slides/single-kernel.pdf"
+  youtube = "https://youtu.be/W5CeUUCoS7o?si=yxy4oLCVznoZsozd"
 %}
 
 {% include abstract-item.html
@@ -318,6 +368,8 @@
   presenter = "Bill Nguyen"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/booting-windows-text-only.html"
+  slides = "slides/booting-windows.pdf"
+  youtube = "https://youtu.be/-8GFIiVdSUY?si=HF0Y19mAiYUbBrbB"
 %}
 
 {% include abstract-item.html
@@ -328,6 +380,7 @@
   presenter = "Laure Millet"
   affiliation = "Critical Systems Labs Inc."
   text = "abstracts/2026/from-formal-text-only.html"
+  youtube = "https://youtu.be/0_xJtZ9hTIQ?si=OylggG3S_nHeEq0p"
 %}
 
 {% include abstract-item.html
@@ -338,6 +391,8 @@
   presenter = "John Hatcliff"
   affiliation = "Kansas State University"
   text = "abstracts/2026/rigorous-agentic-text-only.html"
+  slides = "slides/rigorous-agentic.pdf"
+  youtube = "https://youtu.be/fP8jA9T0C9c?si=hmuN-9AbxTuq3Fuo"
 %}
 
 {% include abstract-item.html
@@ -348,6 +403,8 @@
   presenter = "Lesley Rossouw"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/modelling-performance-text-only.html"
+  slides = "slides/modelling-performance.pdf"
+  youtube = "https://youtu.be/leO2IxJ-X3k?si=fIXS6k5zJ7Od-uR9"
 %}
 
 {% include abstract-item.html
@@ -356,8 +413,9 @@
   type = "Talk"
   title = "Building safe display diodes with seL4"
   presenter = "Andrew Ruef"
-  affiliation = "Institute for Defense Analyses"
+  affiliation = "Inflection Points"
   text = "abstracts/2026/building-safe-text-only.html"
+  youtube = "https://youtu.be/mZ2KQ-Twvv8?si=ZYLJHaFaC6i_zEao"
 %}
 
 {% include abstract-item.html
@@ -368,6 +426,8 @@
   presenter = "Guangtao Zhu"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/efficient-user-level-text-only.html"
+  slides = "slides/efficient-user-level.pdf"
+  youtube = "https://youtu.be/0rB9rhGrJew?si=yzYOfe3EPYRdkT34"
 %}
 
 {% include abstract-heading.html
@@ -381,7 +441,8 @@
   presenter = "Guangtao Zhu"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/rethinking-sel4-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/rethinking-sel4.pdf"
 %}
 
 {% include abstract-item.html
@@ -389,7 +450,8 @@
   presenter = "Nick Spinale"
   affiliation = "Colias Group"
   text = "abstracts/2026/binary-verification-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/binary-verification.pdf"
 %}
 
 {% include abstract-item.html
@@ -397,7 +459,8 @@
   presenter = "Alexander Weidinger"
   affiliation = "Fraunhofer AISEC"
   text = "abstracts/2026/updates-confidential-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/updates-confidential.pdf"
 %}
 
 {% include abstract-item.html
@@ -405,7 +468,8 @@
   presenter = "Robbie VanVossen"
   affiliation = "Dornerworks"
   text = "abstracts/2026/vm-composer-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/vm-composer.pdf"
 %}
 
 {% include abstract-item.html
@@ -413,7 +477,8 @@
   presenter = "Stuart Card"
   affiliation = "Critical Technologies Inc."
   text = "abstracts/2026/tccoe-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/tccoe.pdf"
 %}
 
 {% include abstract-item.html
@@ -421,19 +486,22 @@
   presenter = "Yanyan Shen"
   affiliation = "NIO"
   text = "abstracts/2026/skyos-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/skyos.pdf"
 %}
 
 {% include abstract-item.html
   title = "OT Network Guard"
   presenter = "Martin Dehnel-Wild"
   affiliation = "Kry10"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/ot-network.pdf"
 %}
 
 {% include abstract-item.html
   title = "Join the seL4 Foundation today!"
   presenter = "June Andronick"
   affiliation = "Proofcraft and seL4 Foundation"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/join-foundation.pdf"
 %}
diff --git a/Summit/2026/index.html b/Summit/2026/index.html
index 3b4d26e8a..83fabc640 100644
--- a/Summit/2026/index.html
+++ b/Summit/2026/index.html
@@ -17,7 +17,6 @@
   href="#sponsors">sponsors</a>.'
   city = "Vancouver, Canada"
   date = "1 - 3 September 2026"
-  reg-link = "https://events.linuxfoundation.org/sel4-summit/register/"
 %}
 
 {% include summit-new-format.html
@@ -44,7 +43,7 @@
   center=true
   icon="book-open"
   title="Program"
-  body="Program and abstracts of the seL4 Summit 2026."
+  body="Program, abstracts, posters and videos of the seL4 Summit 2026."
   link="program.html"
   %}
 </div>
@@ -197,4 +196,32 @@
   {%- include sponsor-info.html -%}
 </div>
 
+{% include section-end.html %}
+
+<!-- Gallery section -->
+{% include section-start.html
+  id = "gallery"
+  heading = "Gallery"
+%}
+<div class="mx-auto section-max-w grid grid-cols-4 gap-4 place-items-center mt-10">
+  <div class="col-span-4"><img src="../../images/summit/summit-2026-7.jpg" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="col-span-2"><img src="../../images/summit/summit-2026-4.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="col-span-1"><img src="../../images/summit/summit-2026-5.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="col-span-1"><img src="../../images/summit/summit-2026-10.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="col-span-1"><img src="../../images/summit/summit-2026-2.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="col-span-2"><img src="../../images/summit/summit-2026-6.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="row-span-2"><img src="../../images/summit/summit-2026-9.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+
+  <div class="col-span-1"><img src="../../images/summit/summit-2026-1.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+  <div class="col-span-2"><img src="../../images/summit/summit-2026-8.png" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+  </div>
+</div>
 {% include section-end.html %}
\ No newline at end of file
diff --git a/Summit/2026/posters/binary-verification.pdf b/Summit/2026/posters/binary-verification.pdf
new file mode 100644
index 000000000..4d1f03f18
Binary files /dev/null and b/Summit/2026/posters/binary-verification.pdf differ
diff --git a/Summit/2026/posters/join-foundation.pdf b/Summit/2026/posters/join-foundation.pdf
new file mode 100644
index 000000000..9edff1d8c
Binary files /dev/null and b/Summit/2026/posters/join-foundation.pdf differ
diff --git a/Summit/2026/posters/ot-network.pdf b/Summit/2026/posters/ot-network.pdf
new file mode 100644
index 000000000..226b945fd
Binary files /dev/null and b/Summit/2026/posters/ot-network.pdf differ
diff --git a/Summit/2026/posters/rethinking-sel4.pdf b/Summit/2026/posters/rethinking-sel4.pdf
new file mode 100644
index 000000000..7884e2eb8
Binary files /dev/null and b/Summit/2026/posters/rethinking-sel4.pdf differ
diff --git a/Summit/2026/posters/skyos.pdf b/Summit/2026/posters/skyos.pdf
new file mode 100644
index 000000000..645f4d341
Binary files /dev/null and b/Summit/2026/posters/skyos.pdf differ
diff --git a/Summit/2026/posters/tccoe.pdf b/Summit/2026/posters/tccoe.pdf
new file mode 100644
index 000000000..bf4fad713
Binary files /dev/null and b/Summit/2026/posters/tccoe.pdf differ
diff --git a/Summit/2026/posters/updates-confidential.pdf b/Summit/2026/posters/updates-confidential.pdf
new file mode 100644
index 000000000..943cf88d8
Binary files /dev/null and b/Summit/2026/posters/updates-confidential.pdf differ
diff --git a/Summit/2026/posters/vm-composer.pdf b/Summit/2026/posters/vm-composer.pdf
new file mode 100644
index 000000000..d2d0e8066
Binary files /dev/null and b/Summit/2026/posters/vm-composer.pdf differ
diff --git a/Summit/2026/program.html b/Summit/2026/program.html
index 7266d716a..86a558815 100644
--- a/Summit/2026/program.html
+++ b/Summit/2026/program.html
@@ -70,6 +70,7 @@
     title = "Welcome"
     presenter = "Robbie VanVossen"
     affiliation = "Dornerworks"
+    youtube = "https://youtu.be/tuyliUvq44Y?si=WSD7XAf1TsOm-JBq"
   %}
 
   {% include program-item.html
@@ -80,6 +81,8 @@
     presenter = "Martin Dehnel-Wild"
     affiliation = "Kry10"
     abstract = "abstracts2026.html#a-proof-product"
+    slides = "slides/proof-product.pdf"
+    youtube = "https://youtu.be/u9jClxwVUm8?si=JKaw32vohCU5MuPy"
   %}
 
 
@@ -100,6 +103,8 @@
     presenter = "June Andronick"
     affiliation = "Proofcraft and seL4 Foundation"
     abstract = "abstracts2026.html#a-sel4-what"
+    slides = "slides/sel4-what.pdf"
+    youtube = "https://youtu.be/dF2qJdiaO4A?si=s25sdXgqAGj9yV1r"
   %}
 
   {% include program-item.html
@@ -110,6 +115,8 @@
     presenter = "Adam W1"
     affiliation = "NCSC"
     abstract = "abstracts2026.html#a-ncsc"
+    slides = "slides/ncsc.pdf"
+    youtube = "https://youtu.be/KB64yT9nBUU?si=YmsZMM3_6_EZx5DB"
   %}
 
   {% include program-item.html
@@ -125,6 +132,7 @@
     presenter = "Alistair Woodman"
     affiliation = "Erlang Ecosystem Foundation"
     abstract = "abstracts2026.html#a-staying-red"
+    youtube = "https://youtu.be/zmxTnb2kw1g?si=xGA5JIG9YpoElBap"
   %}
 
   {% include program-item.html
@@ -135,6 +143,8 @@
     presenter = "David Hardin"
     affiliation = "Collins Aerospace"
     abstract = "abstracts2026.html#a-trends-formal"
+    slides = "slides/trends-formal.pdf"
+    youtube = "https://youtu.be/6sxS06RJTzE?si=8ffsESNHgglD2VYN"
   %}
 
   {% include program-item.html
@@ -145,6 +155,8 @@
     presenter = "Ihor Kuz"
     affiliation = "Kry10"
     abstract = "abstracts2026.html#a-kry10-os"
+    slides = "slides/kry10-os.pdf"
+    youtube = "https://youtu.be/0orNdV7DVAs?si=2D5QY8E8vB23Zqhh"
   %}
 
   {% include program-item.html
@@ -160,6 +172,8 @@
     presenter = "Jonathan Marshall"
     affiliation = "SafeShark"
     abstract = "abstracts2026.html#a-navigating-cyber"
+    slides = "slides/navigating-cyber.pdf"
+    youtube = "https://youtu.be/WTA15_NBuMY?si=ARAIAl_MOjGvRzCO"
   %}
 
   {% include program-item.html
@@ -170,6 +184,8 @@
     presenter = "June Andronick"
     affiliation = "Proofcraft and seL4 Foundation"
     abstract = "abstracts2026.html#a-formal-verification"
+    slides = "slides/formal-verification.pdf"
+    youtube = "https://youtu.be/JZ0XGySYX1c?si=bk_K7sydl89HhzoH"
   %}
 
   {% include program-item.html
@@ -183,9 +199,9 @@
       <br><a href="abstracts2026.html#a-panel-jonathan"><span class="text-dark text-sm sm:text-base">Jonathan Marshall</span>, <span class="text-light text-sm sm:text-base">SafeShark</span></a>
       <br><a href="abstracts2026.html#a-panel-june"><span class="text-dark text-sm sm:text-base">June Andronick</span>, <span class="text-light text-sm sm:text-base">Proofcraft and seL4 Foundation</span></a>
       <br><a href="abstracts2026.html#a-panel-james"><span class="text-dark text-sm sm:text-base">James Sharp</span>, <span class="text-light text-sm sm:text-base">Defence Science and Technology Laboratory (Dstl)</span></a>
-      <br><a href="abstracts2026.html#a-panel-martin"><span class="text-dark text-sm sm:text-base">Martin Dehnel-Wild</span>, <span class="text-light text-sm sm:text-base">Kry10 (moderator)</span></a>
-        '
-    abstract = "abstracts2026.html#a-panel"
+      <br><a href="abstracts2026.html#a-panel-martin"><span class="text-dark text-sm sm:text-base">Martin Dehnel-Wild</span>, <span class="text-light text-sm sm:text-base">Kry10 (moderator)</span></a>'
+      abstract = "abstracts2026.html#a-panel"
+      youtube = "https://youtu.be/jAirEkULNsQ?si=ZkPxzFXNgK1lR0S-"
   %}
 
 
@@ -218,14 +234,15 @@
     presenter = "Anjana Rajan"
     affiliation = "Atalanta"
     abstract = "abstracts2026.html#a-age-software"
+    slides = "slides/age-software.pdf"
+    youtube = "https://youtu.be/KfN00MYrFzQ?si=4_0SNB4-5SHz6jbx"
   %}
 
   {% include program-item.html
     time = "9:50 - 10:00"
     type = ""
-    title = "Announcements"
-    presenter = "June Andronick"
-    affiliation = "Proofcraft and seL4 Foundation"
+    title = "Poster pitch session"
+    youtube = "https://youtu.be/ZzKDo_1WfKc?si=fWFYGVBXXJqsGlf5"
   %}
 
   {% include program-item.html
@@ -245,6 +262,8 @@
     presenter = "Robbie VanVossen"
     affiliation = "Dornerworks"
     abstract = "abstracts2026.html#a-cyber-hardened"
+    slides = "slides/cyber-hardened.pdf"
+    youtube = "https://youtu.be/mp2QJ9_GlG8?si=JQBZLL7--O6AWeZj"
   %}
 
   {% include program-item.html
@@ -255,6 +274,8 @@
     presenter = "Nathan Studer"
     affiliation = "Dornerworks"
     abstract = "abstracts2026.html#a-throwing-sel4"
+    slides = "slides/throwing-sel4.pdf"
+    youtube = "https://youtu.be/DA6duKrxSN4?si=d_PDUdjwlcN2ob-A"
   %}
 
   {% include program-item.html
@@ -266,6 +287,8 @@
     affiliation = "Trusted Science and Technology (Trusted ST)"
     info = "<br><span class='text-dark text-sm sm:text-base'>Paul Pazandak,</span> <span class='text-light text-sm sm:text-base'>Real-Time Innovations (RTI)</span>"
     abstract = "abstracts2026.html#a-assured-robotics"
+    slides = "slides/assured-robotics.pdf"
+    youtube = "https://youtu.be/BBmW6RosnV8?si=0XRtUtZz30bFdADu"
   %}
 
   {% include program-item.html
@@ -276,6 +299,8 @@
     presenter = "Philipp Scholl"
     affiliation = "ABB Corporate Research"
     abstract = "abstracts2026.html#a-evolving-legacy"
+    slides = "slides/evolving-legacy.pdf"
+    youtube = "https://youtu.be/LbQRX0uBs1E?si=d8ReXNmYzlS-tyvX"
   %}
 
   {% include program-item.html
@@ -286,7 +311,8 @@
     presenter = "Nils Brand"
     affiliation = "Fraunhofer IESE"
     abstract = "abstracts2026.html#a-tsdx"
-
+    slides = "slides/tsdx.pdf"
+    youtube = "https://youtu.be/rqxFbrnAAb0?si=IfFaixARz_cfBXkQ"
   %}
 
   {% include program-item.html
@@ -307,6 +333,8 @@
     presenter = "Ryan Barry"
     affiliation = "Proofcraft"
     abstract = "abstracts2026.html#a-sel4-security"
+    slides = "slides/sel4-security.pdf"
+    youtube = "https://youtu.be/y6_lAgqqcBo?si=79qnJeSbTPCCxNeI"
   %}
 
   {% include program-item.html
@@ -317,6 +345,8 @@
     presenter = "Gernot Heiser"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-trustworthy-systems"
+    slides = "slides/trustworthy-systems.pdf"
+    youtube = "https://youtu.be/iwjZ2zdqnTY?si=Lg2DrESoUikpYcpt"
   %}
 
   {% include program-item.html
@@ -327,6 +357,8 @@
     presenter = "Rob Sison"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-time-protection"
+    slides = "slides/time-protection.pdf"
+    youtube = "https://youtu.be/OpFlTLtLNwM?si=6jf_WXxBUeIDbo8p"
   %}
 
   {% include program-item.html
@@ -346,6 +378,8 @@
     presenter = "Miki Tanaka"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-pancake"
+    slides = "slides/pancake.pdf"
+    youtube = "https://youtu.be/xdMnlcZrOS4?si=R5oWyyDNNk3AmJ9v"
   %}
 
   {% include program-item.html
@@ -356,6 +390,8 @@
     presenter = "Gus O'Hanley"
     affiliation = "Galois"
     abstract = "abstracts2026.html#a-verifying-sel4"
+    slides = "slides/verifying-sel4.pdf"
+    youtube = "https://youtu.be/p8dO5xXuE4U?si=EXKSdLk1odgSs-t6"
   %}
 
   {% include program-item.html
@@ -366,6 +402,8 @@
     presenter = "Liam Murphy"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-formalising-device"
+    slides = "slides/formalising-device.pdf"
+    youtube = "https://youtu.be/BseyKnmVRlk?si=WcArERdgavUNDhrp"
   %}
 
   {% include program-item.html
@@ -376,6 +414,8 @@
     presenter = "Daniel Neshyba-Rowe"
     affiliation = "Lewis & Clark College"
     abstract = "abstracts2026.html#a-verification-udp"
+    slides = "slides/verification-udp.pdf"
+    youtube = "https://youtu.be/mRIyOmu7OBg?si=EFP0g2zrqVW3jk22"
   %}
 
   {% include program-item.html
@@ -399,6 +439,7 @@
     title = "'Ask Me Anything' with the TSC"
     presenter = "Darren Cofer"
     affiliation = "Collins Aerospace (moderator)"
+    youtube = "https://youtu.be/i9aG2Wz1xoE?si=2nPkECwamsfr2IK8"
   %}
 
   {% include program-item.html
@@ -409,6 +450,8 @@
     presenter = "Lesley Rossouw"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-simplifying-microkit"
+    slides = "slides/simplifying-microkit.pdf"
+    youtube = "https://youtu.be/9JK9P4k_08w?si=llkPEzX_dHm5PtmC"
   %}
 
   {% include program-item.html
@@ -428,6 +471,8 @@
     presenter = "Daniel Schwyn"
     affiliation = "Neutrality"
     abstract = "abstracts2026.html#a-policy-free"
+    slides = "slides/policy-free.pdf"
+    youtube = "https://youtu.be/v0An0l3kIHc?si=6KTZu7NRAdGZck3L"
   %}
 
   {% include program-item.html
@@ -438,6 +483,8 @@
     presenter = "Guangtao Zhu"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-carrels"
+    slides = "slides/carrels.pdf"
+    youtube = "https://youtu.be/MqxP5Z8qUw4?si=frEPSiF4mChz5A25"
   %}
 
   {% include program-item.html
@@ -448,6 +495,8 @@
     presenter = "Scott Brookes, Gordon Stewart, David Swasey"
     affiliation = "Riverside Research"
     abstract = "abstracts2026.html#a-single-kernel"
+    slides = "slides/single-kernel.pdf"
+    youtube = "https://youtu.be/W5CeUUCoS7o?si=yxy4oLCVznoZsozd"
   %}
 
   {% include program-item.html
@@ -458,6 +507,8 @@
     presenter = "Bill Nguyen"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-booting-windows"
+    slides = "slides/booting-windows.pdf"
+    youtube = "https://youtu.be/-8GFIiVdSUY?si=HF0Y19mAiYUbBrbB"
   %}
 
   {% include program-item.html
@@ -478,6 +529,7 @@
     presenter = "Laure Millet"
     affiliation = "Critical Systems Labs Inc."
     abstract = "abstracts2026.html#a-from-formal"
+    youtube = "https://youtu.be/0_xJtZ9hTIQ?si=OylggG3S_nHeEq0p"
   %}
 
   {% include program-item.html
@@ -488,6 +540,8 @@
     presenter = "John Hatcliff"
     affiliation = "Kansas State University"
     abstract = "abstracts2026.html#a-rigorous-agentic"
+    slides = "slides/rigorous-agentic.pdf"
+    youtube = "https://youtu.be/fP8jA9T0C9c?si=hmuN-9AbxTuq3Fuo"
   %}
 
   {% include program-item.html
@@ -498,6 +552,8 @@
     presenter = "Lesley Rossouw"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-modelling-performance"
+    slides = "slides/modelling-performance.pdf"
+    youtube = "https://youtu.be/leO2IxJ-X3k?si=fIXS6k5zJ7Od-uR9"
   %}
 
   {% include program-item.html
@@ -506,8 +562,9 @@
     type = ""
     title = "Building safe display diodes with seL4"
     presenter = "Andrew Ruef"
-    affiliation = "Institute for Defense Analyses"
+    affiliation = "Inflection Points"
     abstract = "abstracts2026.html#a-building-safe"
+    youtube = "https://youtu.be/mZ2KQ-Twvv8?si=ZYLJHaFaC6i_zEao"
   %}
 
   {% include program-item.html
@@ -518,6 +575,8 @@
     presenter = "Guangtao Zhu"
     affiliation = "UNSW Sydney"
     abstract = "abstracts2026.html#a-efficient-user-level"
+    slides = "slides/efficient-user-level.pdf"
+    youtube = "https://youtu.be/0rB9rhGrJew?si=yzYOfe3EPYRdkT34"
   %}
 
   {% include program-item.html
diff --git a/Summit/2026/slides/age-software.pdf b/Summit/2026/slides/age-software.pdf
new file mode 100644
index 000000000..e4ad2c045
Binary files /dev/null and b/Summit/2026/slides/age-software.pdf differ
diff --git a/Summit/2026/slides/assured-robotics.pdf b/Summit/2026/slides/assured-robotics.pdf
new file mode 100644
index 000000000..915b19314
Binary files /dev/null and b/Summit/2026/slides/assured-robotics.pdf differ
diff --git a/Summit/2026/slides/booting-windows.pdf b/Summit/2026/slides/booting-windows.pdf
new file mode 100644
index 000000000..f54101032
Binary files /dev/null and b/Summit/2026/slides/booting-windows.pdf differ
diff --git a/Summit/2026/slides/carrels.pdf b/Summit/2026/slides/carrels.pdf
new file mode 100644
index 000000000..2338a3647
Binary files /dev/null and b/Summit/2026/slides/carrels.pdf differ
diff --git a/Summit/2026/slides/cyber-hardened.pdf b/Summit/2026/slides/cyber-hardened.pdf
new file mode 100644
index 000000000..45feeedc2
Binary files /dev/null and b/Summit/2026/slides/cyber-hardened.pdf differ
diff --git a/Summit/2026/slides/efficient-user-level.pdf b/Summit/2026/slides/efficient-user-level.pdf
new file mode 100644
index 000000000..8b8047b1e
Binary files /dev/null and b/Summit/2026/slides/efficient-user-level.pdf differ
diff --git a/Summit/2026/slides/evolving-legacy.pdf b/Summit/2026/slides/evolving-legacy.pdf
new file mode 100644
index 000000000..14e0ba071
Binary files /dev/null and b/Summit/2026/slides/evolving-legacy.pdf differ
diff --git a/Summit/2026/slides/formal-verification.pdf b/Summit/2026/slides/formal-verification.pdf
new file mode 100644
index 000000000..6a3aeed58
Binary files /dev/null and b/Summit/2026/slides/formal-verification.pdf differ
diff --git a/Summit/2026/slides/formalising-device.pdf b/Summit/2026/slides/formalising-device.pdf
new file mode 100644
index 000000000..6c3ae4546
Binary files /dev/null and b/Summit/2026/slides/formalising-device.pdf differ
diff --git a/Summit/2026/slides/kry10-os.pdf b/Summit/2026/slides/kry10-os.pdf
new file mode 100644
index 000000000..88c26b69e
Binary files /dev/null and b/Summit/2026/slides/kry10-os.pdf differ
diff --git a/Summit/2026/slides/modelling-performance.pdf b/Summit/2026/slides/modelling-performance.pdf
new file mode 100644
index 000000000..671135b19
Binary files /dev/null and b/Summit/2026/slides/modelling-performance.pdf differ
diff --git a/Summit/2026/slides/navigating-cyber.pdf b/Summit/2026/slides/navigating-cyber.pdf
new file mode 100644
index 000000000..4cae2a8c2
Binary files /dev/null and b/Summit/2026/slides/navigating-cyber.pdf differ
diff --git a/Summit/2026/slides/ncsc.pdf b/Summit/2026/slides/ncsc.pdf
new file mode 100644
index 000000000..a4192ef14
Binary files /dev/null and b/Summit/2026/slides/ncsc.pdf differ
diff --git a/Summit/2026/slides/pancake.pdf b/Summit/2026/slides/pancake.pdf
new file mode 100644
index 000000000..f3795f6d2
Binary files /dev/null and b/Summit/2026/slides/pancake.pdf differ
diff --git a/Summit/2026/slides/policy-free.pdf b/Summit/2026/slides/policy-free.pdf
new file mode 100644
index 000000000..22db30022
Binary files /dev/null and b/Summit/2026/slides/policy-free.pdf differ
diff --git a/Summit/2026/slides/proof-product.pdf b/Summit/2026/slides/proof-product.pdf
new file mode 100644
index 000000000..daf310183
Binary files /dev/null and b/Summit/2026/slides/proof-product.pdf differ
diff --git a/Summit/2026/slides/rigorous-agentic.pdf b/Summit/2026/slides/rigorous-agentic.pdf
new file mode 100644
index 000000000..6c3916d1b
Binary files /dev/null and b/Summit/2026/slides/rigorous-agentic.pdf differ
diff --git a/Summit/2026/slides/sel4-security.pdf b/Summit/2026/slides/sel4-security.pdf
new file mode 100644
index 000000000..4467ff0a8
Binary files /dev/null and b/Summit/2026/slides/sel4-security.pdf differ
diff --git a/Summit/2026/slides/sel4-what.pdf b/Summit/2026/slides/sel4-what.pdf
new file mode 100644
index 000000000..d631db384
Binary files /dev/null and b/Summit/2026/slides/sel4-what.pdf differ
diff --git a/Summit/2026/slides/simplifying-microkit.pdf b/Summit/2026/slides/simplifying-microkit.pdf
new file mode 100644
index 000000000..3dc3f5503
Binary files /dev/null and b/Summit/2026/slides/simplifying-microkit.pdf differ
diff --git a/Summit/2026/slides/single-kernel.pdf b/Summit/2026/slides/single-kernel.pdf
new file mode 100644
index 000000000..a0a01fbb7
Binary files /dev/null and b/Summit/2026/slides/single-kernel.pdf differ
diff --git a/Summit/2026/slides/throwing-sel4.pdf b/Summit/2026/slides/throwing-sel4.pdf
new file mode 100644
index 000000000..8f5728239
Binary files /dev/null and b/Summit/2026/slides/throwing-sel4.pdf differ
diff --git a/Summit/2026/slides/time-protection.pdf b/Summit/2026/slides/time-protection.pdf
new file mode 100644
index 000000000..91a68ea38
Binary files /dev/null and b/Summit/2026/slides/time-protection.pdf differ
diff --git a/Summit/2026/slides/trends-formal.pdf b/Summit/2026/slides/trends-formal.pdf
new file mode 100644
index 000000000..680991ede
Binary files /dev/null and b/Summit/2026/slides/trends-formal.pdf differ
diff --git a/Summit/2026/slides/trustworthy-systems.pdf b/Summit/2026/slides/trustworthy-systems.pdf
new file mode 100644
index 000000000..08206a51a
Binary files /dev/null and b/Summit/2026/slides/trustworthy-systems.pdf differ
diff --git a/Summit/2026/slides/tsdx.pdf b/Summit/2026/slides/tsdx.pdf
new file mode 100644
index 000000000..a3a23131e
Binary files /dev/null and b/Summit/2026/slides/tsdx.pdf differ
diff --git a/Summit/2026/slides/verification-udp.pdf b/Summit/2026/slides/verification-udp.pdf
new file mode 100644
index 000000000..752f44d4c
Binary files /dev/null and b/Summit/2026/slides/verification-udp.pdf differ
diff --git a/Summit/2026/slides/verifying-sel4.pdf b/Summit/2026/slides/verifying-sel4.pdf
new file mode 100644
index 000000000..b2c5c15f3
Binary files /dev/null and b/Summit/2026/slides/verifying-sel4.pdf differ
diff --git a/_includes/abstract-item.html b/_includes/abstract-item.html
index 7cf2eea99..535913289 100644
--- a/_includes/abstract-item.html
+++ b/_includes/abstract-item.html
@@ -38,6 +38,11 @@ <h2 class="text-xl font-bold tracking-tight text-dark mb-6 sm:text-4xl">{{includ
             <a href="{{include.slides}}" class="text-sm text-light underline">Slides</a>
           </div>
         {% endif %}
+        {% if include.poster %}
+          <div class="p-1 mt-2 mb-5">
+            <a href="{{include.poster}}" class="text-sm text-light underline">Poster</a>
+          </div>
+        {% endif %}
         <div>
           <p class="p-1 mt-2">
             {% if include.id %}
@@ -46,9 +51,9 @@ <h2 class="text-xl font-bold tracking-tight text-dark mb-6 sm:text-4xl">{{includ
           </p>
         </div>
       </div>
-      {% if include.posters %}
+      {% if include.postersession %}
       <div>
-        {{ include.posters }}
+        {{ include.postersession }}
       </div>
       {% endif %}
     </div>
diff --git a/_news-items/2026-09-16-videos.html b/_news-items/2026-09-16-videos.html
new file mode 100644
index 000000000..4a5e734a3
--- /dev/null
+++ b/_news-items/2026-09-16-videos.html
@@ -0,0 +1,24 @@
+---
+# Copyright 2026 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: The videos and slides of the seL4 Summit 2026 are available online
+anchor: summit-videos
+img: /images/summit/sel4_summit_2026.svg
+img_alt: seL4 Summit 2026
+img_w: w-3/10
+link: /Summit/2026
+dark: true
+---
+
+<p>
+  Videos of the <a href="{{ '/Summit/2026/' | relative_url }}">seL4 Summit
+  2026</a> are now available on the <a href="https://www.youtube.com/playlist?list=PLd7rrADYxxQQ"
+  target="_blank">seL4 YouTube channel</a>! Links, slides, and posters can be
+  found on the summit <a href="{{ '/Summit/2026/program.html' | relative_url
+  }}">Program</a>
+  and <a href="{{ '/Summit/2026/abstracts2026.html' | relative_url
+  }}">Abstracts</a> pages. Thanks to all the speakers for making the seL4 Summit
+  2026 a great <a href="{{ '/Summit/2026/#gallery' | relative_url
+  }}">success!</a>
+  <img src="../images/summit/summit-2026-7.jpg" alt="seL4 Summit 2026" class="rounded bg-gray-900/5 shadow-lg">
+</p>
diff --git a/images/summit/summit-2026-1.png b/images/summit/summit-2026-1.png
new file mode 100644
index 000000000..e467ca345
Binary files /dev/null and b/images/summit/summit-2026-1.png differ
diff --git a/images/summit/summit-2026-10.png b/images/summit/summit-2026-10.png
new file mode 100644
index 000000000..46e834fc8
Binary files /dev/null and b/images/summit/summit-2026-10.png differ
diff --git a/images/summit/summit-2026-11.png b/images/summit/summit-2026-11.png
new file mode 100644
index 000000000..c44aafed4
Binary files /dev/null and b/images/summit/summit-2026-11.png differ
diff --git a/images/summit/summit-2026-2.png b/images/summit/summit-2026-2.png
new file mode 100644
index 000000000..c722bb773
Binary files /dev/null and b/images/summit/summit-2026-2.png differ
diff --git a/images/summit/summit-2026-3.png b/images/summit/summit-2026-3.png
new file mode 100644
index 000000000..0f227c73f
Binary files /dev/null and b/images/summit/summit-2026-3.png differ
diff --git a/images/summit/summit-2026-4.png b/images/summit/summit-2026-4.png
new file mode 100644
index 000000000..8a4f12422
Binary files /dev/null and b/images/summit/summit-2026-4.png differ
diff --git a/images/summit/summit-2026-5.png b/images/summit/summit-2026-5.png
new file mode 100644
index 000000000..e23d42cc5
Binary files /dev/null and b/images/summit/summit-2026-5.png differ
diff --git a/images/summit/summit-2026-6.png b/images/summit/summit-2026-6.png
new file mode 100644
index 000000000..175dbb87b
Binary files /dev/null and b/images/summit/summit-2026-6.png differ
diff --git a/images/summit/summit-2026-7.jpg b/images/summit/summit-2026-7.jpg
new file mode 100755
index 000000000..745af02cf
Binary files /dev/null and b/images/summit/summit-2026-7.jpg differ
diff --git a/images/summit/summit-2026-8.png b/images/summit/summit-2026-8.png
new file mode 100644
index 000000000..7aa3bc703
Binary files /dev/null and b/images/summit/summit-2026-8.png differ
diff --git a/images/summit/summit-2026-9.png b/images/summit/summit-2026-9.png
new file mode 100644
index 000000000..059442897
Binary files /dev/null and b/images/summit/summit-2026-9.png differ