deploy: seL4/website@d529a19

seL4 · Jul 5, 2024 · b85e3ab · b85e3ab
1 parent e9508e8
commit b85e3ab
Show file tree

Hide file tree

Showing 2 changed files with 137 additions and 132 deletions.
diff --git a/PR_376/Foundation/Summit/2024/index.html b/PR_376/Foundation/Summit/2024/index.html
@@ -280,6 +280,11 @@ <h4 style="padding-top:20px">Rust Support in seL4 Userspace (time TBC)</h4>
       <span class="summit-abstract-affiliation">Colias Group, LLC</span>
     </p>
     <p>
+      <a href="https://www.rust-lang.org/">
+        <img src="../../../images/rust-logo-blk.svg"
+        style="width: 20%;  padding-left:10px;  float:right"
+        alt="Rust logo" />
+      </a>
       Nick Spinale has been developing support for the Rust programming language in seL4 userspace. This comprehensive language support infrastructure that integrates well with the rest of the seL4 ecosystem (capDL, Microkit, sel4test) and also integrates well with what Rust programmers would expect from the language side. This work has been accepted by the <a href="https://sel4.systems/Foundation/TSC/">seL4 Foundation Technical Steering Committee</a> and can be found on <a href="https://github.com/seL4/rust-microkit-http-server-demo">GitHub</a>.
     </p>
     <p>