deploy: seL4/website@4d66aca

PR_418/Foundation/Summit/2024/index.html

@@ -108,9 +108,9 @@ <h4>
     <li><a href="#summit-registration">Registration</a></li>
     <li><a href="#summit-location">Location & Venue</a></li>
     <li><a href="#summit-cfp">Submissions and Call for Presentations</a></li>
-    <li><a href="#summit-program">Program & Abstracts</a></li>
+    <li><a href="#summit-program">Program, Abstracts, Slides and Videos</a></li>
     <li><a href="#summit-keynote-speakers">Keynote Speakers</a></li>
-    <li><a class="highlight" href="#summit-panel">Latest news: Panel Session</a></li>
+    <li><a href="#summit-panel">Panel Session</a></li>
     <li><a href="#summit-training-day">Training day @ UNSW</a></li>
     <li><a href="#summit-social">Social Activities</a></li>
     <li><a href="#summit-pc">Program Committee</a></li>
@@ -200,11 +200,7 @@ <h3 id="summit-program">
     Program & Abstracts
   </h3>
   <p>
-    Check out the summit <a href="program">Program</a> and <a href="abstracts2024">Abstracts</a> for our list of speakers and presentations.
-  </p>
-  <p>
-  <p>
-    See the <a href="https://events.linuxfoundation.org/sel4-summit/program/schedule/">Schedule</a> on LF Events.
+    Videos of the seL4 summit 2024 are available on the <a href="https://www.youtube.com/@seL4">seL4 YouTube channel</a>! Links and slides can be found on the summit <a href="program">Program</a> and <a href="abstracts2024">Abstracts</a> pages. Thanks to all the speakers for making the seL4 summit 2024 a great success!
   </p>
 </div>
 

PR_418/css/sel4.css

@@ -558,6 +558,11 @@
    font-weight:bold;
  }
 
+ /* yellow background for TBD tasks (used during development) */
+ .tbd {
+    background-color: yellow;
+ }
+
  .emph {
    color:#668B37;  /* greenDark */
  }

PR_418/index.html

@@ -102,19 +102,19 @@ <h4>
     <ul>
       <li>
         <strong>
-          11 Oct 2024: seL4 summit 2024 Anniversary Panel Session
+          08 Nov 2024: The videos and slides of the seL4 summit 2024 are available online
         </strong>
       </li>
 
       <li>
         <strong>
-          02 Oct 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
+          11 Oct 2024: seL4 summit 2024 Anniversary Panel Session
         </strong>
       </li>
 
       <li>
         <strong>
-          30 Sep 2024: Lewis & Clark College joins the seL4 Foundation
+          02 Oct 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
         </strong>
       </li>
 

PR_418/news/2024.html

@@ -104,6 +104,27 @@ <h1>
   </div>
 </div>
 
+<div class="news-item tag-link" id="summit-videos">
+  <a href="#summit-videos"><span class="tag-span"># </span></a>
+  08 Nov 2024: The videos and slides of the seL4 summit 2024 are available online
+</div>
+<div>
+
+<p>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>  Videos of the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> are now
+  available on the <a href="https://www.youtube.com/@seL4" target="_blank">seL4
+  YouTube channel</a>! Links and slides can be found on the summit <a
+  href="../Foundation/Summit/2024/program">Program</a> and <a
+  href="../Foundation/Summit/2024/abstracts2024">Abstracts</a> pages. Thanks to
+  all the speakers for making the seL4 summit 2024 a great success!
+</p>
+
+</div>
+<div class="news-finish"></div>
+
 <div class="news-item tag-link" id="panel24">
   <a href="#panel24"><span class="tag-span"># </span></a>
   11 Oct 2024: seL4 summit 2024 Anniversary Panel Session

PR_418/news/index.html

@@ -103,6 +103,27 @@ <h1>
   </div>
 </div>
 
+<div class="news-item tag-link" id="summit-videos">
+  <a href="#summit-videos"><span class="tag-span"># </span></a>
+  08 Nov 2024: The videos and slides of the seL4 summit 2024 are available online
+</div>
+<div>
+
+<p>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>  Videos of the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> are now
+  available on the <a href="https://www.youtube.com/@seL4" target="_blank">seL4
+  YouTube channel</a>! Links and slides can be found on the summit <a
+  href="../Foundation/Summit/2024/program">Program</a> and <a
+  href="../Foundation/Summit/2024/abstracts2024">Abstracts</a> pages. Thanks to
+  all the speakers for making the seL4 summit 2024 a great success!
+</p>
+
+</div>
+<div class="news-finish"></div>
+
 <div class="news-item tag-link" id="panel24">
   <a href="#panel24"><span class="tag-span"># </span></a>
   11 Oct 2024: seL4 summit 2024 Anniversary Panel Session