deploy: seL4/website@4a5de78

PR_415/Foundation/Summit/2024/abstracts2024.html

@@ -322,7 +322,7 @@ <h4 class="summit-abstract-title">
     <a href="slides/running-certified.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-running-certified">See this talk in the program</a></div>
 
-<div class="summit-abstract tbd" id="a-cheri-morello"><!--<title>Summit abstract</title>-->
+<div class="summit-abstract" id="a-cheri-morello"><!--<title>Summit abstract</title>-->
 <!--
     Copyright 2024, seL4 summit authors (see abstracts)
     SPDX-License-Identifier: CC-BY-SA-4.0
@@ -341,7 +341,7 @@ <h4 class="summit-abstract-title">
 </p>
 
     <a href="https://youtu.be/BQhykTrtIwg?si=QttV8mbIB1NE_ui0" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
-    <a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
+    <a href="slides/cheri-morello.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-cheri-morello">See this talk in the program</a></div>
 
 <div class="summit-abstract" id="a-experience-developing"><!--<title>Summit abstract</title>-->
@@ -471,7 +471,7 @@ <h4 class="summit-abstract-title">
     <a href="slides/generating-trustworthy.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-generating-trustworthy">See this talk in the program</a></div>
 
-<div class="summit-abstract tbd" id="a-using-model"><!--<title>Summit abstract</title>-->
+<div class="summit-abstract" id="a-using-model"><!--<title>Summit abstract</title>-->
 <!--
     Copyright 2024, seL4 summit authors (see abstracts)
     SPDX-License-Identifier: CC-BY-SA-4.0
@@ -496,10 +496,10 @@ <h4 class="summit-abstract-title">
 </p>
 
     <a href="https://youtu.be/4ESGgf80lcg?si=tEP0Z6bEscupqp5E" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
-    <a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
+    <a href="slides/using-model.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-using-model">See this talk in the program</a></div>
 
-<div class="summit-abstract tbd" id="a-rust-support"><!--<title>Summit abstract</title>-->
+<div class="summit-abstract" id="a-rust-support"><!--<title>Summit abstract</title>-->
 <!--
     Copyright 2024, seL4 summit authors (see abstracts)
     SPDX-License-Identifier: CC-BY-SA-4.0
@@ -518,7 +518,7 @@ <h4 class="summit-abstract-title">
 </p>
 
     <a href="https://youtu.be/0W5cMTnyBLk?si=WGGVY3qd0PETj8cE" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
-    <a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
+    <a href="slides/rust-support.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-rust-support">See this talk in the program</a></div>
 
 <div class="summit-abstract" id="a-pancake"><!--<title>Summit abstract</title>-->
@@ -602,7 +602,7 @@ <h4 class="summit-abstract-title">
     <a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-assured-reserve-action">See this talk in the program</a></div>
 
-<div class="summit-abstract tbd" id="a-supporting-container"><!--<title>Summit abstract</title>-->
+<div class="summit-abstract" id="a-supporting-container"><!--<title>Summit abstract</title>-->
 <!--
     Copyright 2024, seL4 summit authors (see abstracts)
     SPDX-License-Identifier: CC-BY-SA-4.0
@@ -624,7 +624,7 @@ <h4 class="summit-abstract-title">
 </p>
 
     <a href="https://youtu.be/AaBaefF0eGg?si=mmr3xJg5LDjABuF9" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
-    <a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
+    <a href="slides/supporting-container.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-supporting-container">See this talk in the program</a></div>
 
 <div class="summit-abstract" id="a-exploring-sel4"><!--<title>Summit abstract</title>-->
@@ -769,7 +769,7 @@ <h4 class="summit-abstract-title">
     <a href="slides/software-defined.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-software-defined">See this talk in the program</a></div>
 
-<div class="summit-abstract tbd" id="a-securing-ros"><!--<title>Summit abstract</title>-->
+<div class="summit-abstract" id="a-securing-ros"><!--<title>Summit abstract</title>-->
 <!--
     Copyright 2024, seL4 summit authors (see abstracts)
     SPDX-License-Identifier: CC-BY-SA-4.0
@@ -791,7 +791,7 @@ <h4 class="summit-abstract-title">
 </p>
 
     <a href="https://youtu.be/O0SrqPTc_kU?si=O0QqO4aHwVHlmjxg" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
-    <a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
+    <a href="slides/securing-ros.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
     <br><a href="program#p-securing-ros">See this talk in the program</a></div>
 
 <div class="summit-abstract" id="a-hardware-support"><!--<title>Summit abstract</title>-->

PR_415/Foundation/Summit/2024/program.html

@@ -221,7 +221,7 @@ <h4>Summit</h4>
     <span class="summit-abstract-affiliation">Capabilities Limited</span>
     </td>
     <td><a href="https://youtu.be/BQhykTrtIwg?si=QttV8mbIB1NE_ui0" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a></td>
-    <td class="tbd"><a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
+    <td><a href="slides/cheri-morello.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
     <td class="summit_chair" rowspan="5">Gernot Heiser</td>
   </tr>
   <tr id="p-experience-developing">
@@ -275,7 +275,7 @@ <h4>Summit</h4>
     <span class="summit-abstract-affiliation">Colias Group, LLC</span>
     </td>
     <td><a href="https://youtu.be/SBk-7LEeIyQ?si=4ZnmlpXkiGE0jo6j" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a></td>
-    <td class="tbd"><a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
+    <td><a href="slides/panel.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
     <td class="summit_chair">Nick Spinale</td>
   </tr>
   <tr>
@@ -307,7 +307,7 @@ <h4>Summit</h4>
     <span class="summit-abstract-affiliation">UNSW Sydney</span>
     </td>
     <td><a href="https://youtu.be/4ESGgf80lcg?si=tEP0Z6bEscupqp5E" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a></td>
-    <td class="tbd"><a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
+    <td><a href="slides/using-model.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
   </tr>
   <tr id="p-rust-support">
     <td>11:45 - 12:00</td>
@@ -316,7 +316,7 @@ <h4>Summit</h4>
     <span class="summit-abstract-affiliation">Colias Group, LLC</span>
     </td>
     <td><a href="https://youtu.be/0W5cMTnyBLk?si=WGGVY3qd0PETj8cE" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a></td>
-    <td class="tbd"><a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
+    <td><a href="slides/rust-support.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
   </tr>
   <tr id="p-pancake">
     <td>12:00 - 12:15</td>
@@ -356,7 +356,7 @@ <h4>Summit</h4>
     <span class="summit-abstract-affiliation">Kry10</span>
     </td>
     <td><a href="https://youtu.be/AaBaefF0eGg?si=mmr3xJg5LDjABuF9" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a></td>
-    <td class="tbd"><a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
+    <td><a href="slides/supporting-container.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
   </tr>
   <tr id="p-exploring-sel4">
     <td>14:45 - 15:00</td>
@@ -446,7 +446,7 @@ <h4>Summit</h4>
     <span class="summit-abstract-affiliation">US Army - Ground Vehicle Robotics</span>
     </td>
     <td><a href="https://youtu.be/O0SrqPTc_kU?si=O0QqO4aHwVHlmjxg" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a></td>
-    <td class="tbd"><a href="slides/.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
+    <td><a href="slides/securing-ros.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a></td>
     <td class="summit_chair" rowspan="4">Lucy Parker</td>
   </tr>
   <tr id="p-hardware-support">