<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title>A framework for RISC-V SBI verification and ISA extension validation</title>
        <link>https://peertube.watch/videos/watch/37cbb941-ce23-49bb-82f0-1662a7384240</link>
        <description>kvm-unit-tests is a test framework which, as the name suggests, targets the Kernel-based Virtual Machine, but the targets for kvm-unit-tests have outgrown the framework's name over the years. What was originally a test framework for x86 KVM is now a test framework which can test KVM for five different architectures and bare-metal for two (and soon to be three). RISC-V support for kvm-unit-tests has recently been merged and its ability to run from EFI supporting bootloaders will be merged soon. Since RISC-V is new to kvm-unit-tests, actual tests are missing, but it's expected that SBI tests will be getting added soon as kvm-unit-tests will be used for the SBI verification framework. Furthermore, as QEMU is a popular platform for RISC-V developers, RISC-V kvm-unit-tests can already be used for TCG validation tests. When the EFI support is merged, kvm-unit-tests will be able to do CPU validation as well, allowing tests to be run on both TCG and real hardware, possibly exposing that one or both are broken. We introduce RISC-V kvm-unit-tests and demonstrate a few tests in the hopes we'll encourage developers to write and post tests as SBI and ISA extensions evolve. Speaker: Andrew Jones, Track: RISC-V devroom, Room: AW1.126, When: Sunday 4 February 2024, 11:30–12:00 (Brussels time), Schedule: FOSDEM 2024 event page, Slides &amp; links Presentation slides, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “A framework for RISC-V SBI verification and ISA extension validation” by Andrew Jones, FOSDEM 2024. Original recording: 2024/aw1126/fosdem-2024-3752-a-framework-for-risc-v-sbi-verification-and-isa-extension-validation.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>Mon, 26 Oct 2026 02:12:28 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>PeerTube - https://peertube.watch</generator>
        <image>
            <title>A framework for RISC-V SBI verification and ISA extension validation</title>
            <url>https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png</url>
            <link>https://peertube.watch/videos/watch/37cbb941-ce23-49bb-82f0-1662a7384240</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=37cbb941-ce23-49bb-82f0-1662a7384240" rel="self" type="application/rss+xml"/>
    </channel>
</rss>