Skip to content

Commit

Permalink
add slides and videos to summit program (#415)
Browse files Browse the repository at this point in the history 
* add slides to summit program and abstracts page
* add youtube video links to summit program and abstracts page
* add news item about videos and slides
* remove "latest news" from summit page
---------

Signed-off-by: Birgit Brecknell <[email protected]>
  • Loading branch information
@bbrcknl
bbrcknl authored Nov 8, 2024
1 parent 1cd6af7 commit a5bea00
Show file tree
Hide file tree
Showing 38 changed files with 198 additions and 60 deletions.
59 changes: 59 additions & 0 deletions Foundation/Summit/2024/abstracts2024.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,91 +18,150 @@ <h3>
Abstracts
</h3>
<div class="summit-abstract" id="a-inspecta">{% include abstracts/2024/inspecta.html %}
<a href="https://youtu.be/9K22dUeyXm8?si=NvXW3see-AKKVuS1" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/inspecta.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-inspecta">See this talk in the program</a></div>

<div class="summit-abstract" id="a-sel4-verification">{% include abstracts/2024/sel4-verification.html %}
<a href="https://youtu.be/2lFYm7cjMpQ?si=es3uWoBy9ML2XRKJ" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/sel4-verification.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-sel4-verification">See this talk in the program</a></div>

<div class="summit-abstract" id="a-multikernel-roadmap">{% include abstracts/2024/multikernel-roadmap.html %}
<a href="https://youtu.be/8JLKtpB1KPM?si=LY6ZDRXleZF5uG7M" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/multikernel-roadmap.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-multikernel-roadmap">See this talk in the program</a></div>

<div class="summit-abstract" id="a-neutrality">{% include abstracts/2024/neutrality.html %}
<a href="https://youtu.be/Zw1eeNHZm6Q?si=TkFY384jiyQpbHgA" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<br><a href="program#p-neutrality">See this talk in the program</a></div>

<div class="summit-abstract" id="a-lions-os">{% include abstracts/2024/lions-os.html %}
<a href="https://youtu.be/W8Ka_8kHTj4?si=cLGmYIX8FT80Esb6" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/lions-os.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-lions-os">See this talk in the program</a></div>

<div class="summit-abstract" id="a-lions-os-practise">{% include abstracts/2024/lions-os-practise.html %}
<a href="https://youtu.be/loPlocTZEp0?si=0NC3iZVvm9bdLdEW" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/lions-os-practise.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-lions-os-practise">See this talk in the program</a></div>

<div class="summit-abstract" id="a-secure-multiserver">{% include abstracts/2024/secure-multiserver.html %}
<a href="https://youtu.be/KYpIfblpDOM?si=ZEtHJepVQOlT9U5-" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/secure-multiserver.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-secure-multiserver">See this talk in the program</a></div>

<div class="summit-abstract" id="a-running-certified">{% include abstracts/2024/running-certified.html %}
<a href="https://youtu.be/VfsN1PriVK0?si=eKMtEVmrSaAox3LF" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<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" id="a-cheri-morello">{% include abstracts/2024/cheri-morello.html %}
<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/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">{% include abstracts/2024/experience-developing.html %}
<a href="https://youtu.be/L0EwJ9qOrhE?si=jdLxb0wfcPgNwmWl" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/experience-developing.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-experience-developing">See this talk in the program</a></div>

<div class="summit-abstract" id="a-camkes-to-microkit">{% include abstracts/2024/camkes-to-microkit.html %}
<a href="https://youtu.be/5xE24p-RauQ?si=d6o8cqgVB9FTPpnx" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/camkes-to-microkit.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-camkes-to-microkit">See this talk in the program</a></div>

<div class="summit-abstract" id="a-foundation-update">{% include abstracts/2024/foundation-update.html %}
<a href="https://youtu.be/vYUuOgqzOa8?si=X68iNbaVf-SUSWuZ" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/foundation-update.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-foundation-update">See this talk in the program</a></div>

<div class="summit-abstract" id="a-first-steps">{% include abstracts/2024/first-steps.html %}
<a href="https://youtu.be/UCj1Qfuifu8?si=q1_b1BaCgivv46FG" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/first-steps.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-first-steps">See this talk in the program</a></div>

<div class="summit-abstract" id="a-generating-trustworthy">{% include abstracts/2024/generating-trustworthy.html %}
<a href="https://youtu.be/b6t-qkHjgdE?si=deqLKsLIM3n96Z7G" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<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" id="a-using-model">{% include abstracts/2024/using-model.html %}
<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/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" id="a-rust-support">{% include abstracts/2024/rust-support.html %}
<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/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">{% include abstracts/2024/pancake.html %}
<a href="https://youtu.be/uAHVV0Lzopw?si=QbuY_1_Y5IOddxnE" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/pancake.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-pancake">See this talk in the program</a></div>

<div class="summit-abstract" id="a-assured-reserve">{% include abstracts/2024/assured-reserve.html %}
<a href="https://youtu.be/zIQ-wYjiYSg?si=uODU6MNgt7r3eO2W" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/assured-reserve.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-assured-reserve">See this talk in the program</a></div>

<div class="summit-abstract" id="a-assured-reserve-action">{% include abstracts/2024/assured-reserve-action.html %}
<a href="https://youtu.be/rWksafHHc2I?si=61q9-ff6c3yS4Jax" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/assured-reserve.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" id="a-supporting-container">{% include abstracts/2024/supporting-container.html %}
<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/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">{% include abstracts/2024/exploring-sel4.html %}
<a href="https://youtu.be/kRgLIb4eO8U?si=mTZiR1w0ibTAAojM" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/exploring-sel4.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-exploring-sel4">See this talk in the program</a></div>

<div class="summit-abstract" id="a-bridging-academia">{% include abstracts/2024/bridging-academia.html %}
<a href="https://youtu.be/2JdaHxf8jrk?si=-NUi4KbYjoqheRhI" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/bridging-academia.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-bridging-academia">See this talk in the program</a></div>

<div class="summit-abstract" id="a-sel4-infrastructure">{% include abstracts/2024/sel4-infrastructure.html %}
<a href="https://youtu.be/-2zvgVGJSc8?si=dbMDCOwWL9T_CKq_" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/sel4-infrastructure.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-sel4-infrastructure">See this talk in the program</a></div>

<div class="summit-abstract" id="a-building-commercial">{% include abstracts/2024/building-commercial.html %}
<a href="https://youtu.be/lI_Rn-riJ-Y?si=iQ_aHjRxVy3iWeHs" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/building-commercial.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-building-commercial">See this talk in the program</a></div>

<div class="summit-abstract" id="a-doing-nix">{% include abstracts/2024/doing-nix.html %}
<a href="https://youtu.be/e12dYR8xhJI?si=ypuzrGQgeg_2vv1C" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/doing-nix.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-doing-nix">See this talk in the program</a></div>

<div class="summit-abstract" id="a-software-defined">{% include abstracts/2024/software-defined.html %}
<a href="https://youtu.be/-I3uenz5Mw0?si=UNAXI76J0Go-NP3X" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<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" id="a-securing-ros">{% include abstracts/2024/securing-ros.html %}
<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/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">{% include abstracts/2024/hardware-support.html %}
<a href="https://youtu.be/qoInVWmVdeQ?si=gPgv9O3LAtmmjuTp" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/hardware-support.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-hardware-support">See this talk in the program</a></div>

<div class="summit-abstract" id="a-verification-status">{% include abstracts/2024/verification-status.html %}
<a href="https://youtu.be/7wcFx6OTEL4?si=VMcr1_JS7znZhNMO" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/verification-status.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-verification-status">See this talk in the program</a></div>

<div class="summit-abstract" id="a-cpu-driver">{% include abstracts/2024/cpu-driver.html %}
<a href="https://youtu.be/DGLSJ8m-X2I?si=mbMoB2uYiKJ5_2Cs" target="_blank"><img src="../../../images/icons/youtube_nobckgnd.svg" class="youtube_icon" alt="YouTube icon"></a>&nbsp;&nbsp;
<a href="slides/cpu-driver.pdf"><img src="../../../images/icons/slides.svg" alt="slides icon"></a>
<br><a href="program#p-cpu-driver">See this talk in the program</a></div>
10 changes: 3 additions & 7 deletions Foundation/Summit/2024/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,9 +23,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>
Expand Down Expand Up @@ -115,11 +115,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>

Expand Down
Loading

0 comments on commit a5bea00

Please sign in to comment.