<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title>News from the Hermit Crab — From Soundness Foundations to GPU Virtualization</title>
        <link>https://peertube.watch/videos/watch/058a57a0-b3ed-4f1b-b601-b77a3d300403</link>
        <description>The Rust-based Hermit operating system project allows you to compile your application against our modular library operating system to create a unikernel image, which can run in a VM. This unikernel image is much more lightweight than traditional VM images, which contain a full-blown Linux Distribution. We are talking Megabytes in size instead of Gigabytes. That's because the unikernel image can be specialized to the application that runs and the environment that the image runs in. Having only one application per VM also allows Hermit to be a single address space operating system. That means we don't have to do any context switches between user space and kernel spaces and every system call becomes a function call into the library operating system. In this talk, we will present the highlights of last year's developments in Hermit. These are the topics we will cover: Interesting Internals Soundness Foundations (hermit-sync), async-Driven In-Kernel Network Stack Architecture, New Platform Support Firecracker, UEFI, Enhanced Architecture Support AArch64 (ARM64), 64-bit RISC-V, Accessible Application Development Workflow stable Rust Toolchain Release Channel Support, Windows Host Support, Advanced Applications GPU Virtualization with Cricket, Profiling through Instrumentation with rftrace, Speaker: Martin Kröning, Track: Microkernel and Component-based OS devroom, Room: UD2.208 (Decroly), When: Saturday 3 February 2024, 17:40–18:00 (Brussels time), Schedule: FOSDEM 2024 event page, Slides &amp; links Slides, The Hermit OS GitHub Organization, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “News from the Hermit Crab — From Soundness Foundations to GPU Virtualization” by Martin Kröning, FOSDEM 2024. Original recording: 2024/ud2208/fosdem-2024-3375-news-from-the-hermit-crab-from-soundness-foundations-to-gpu-virtualization.av1.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community.</description>
        <lastBuildDate>Fri, 23 Oct 2026 01:01:09 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>PeerTube - https://peertube.watch</generator>
        <image>
            <title>News from the Hermit Crab — From Soundness Foundations to GPU Virtualization</title>
            <url>https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png</url>
            <link>https://peertube.watch/videos/watch/058a57a0-b3ed-4f1b-b601-b77a3d300403</link>
        </image>
        <copyright>All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.</copyright>
        <atom:link href="https://peertube.watch/feeds/video-comments.xml?videoId=058a57a0-b3ed-4f1b-b601-b77a3d300403" rel="self" type="application/rss+xml"/>
    </channel>
</rss>