Add support for RISC-V

build.zig

@@ -5,6 +5,7 @@ const std = @import("std");
 const LazyPath = std.Build.LazyPath;
 
 const src = [_][]const u8{
+    "src/fault.c",
     "src/guest.c",
     "src/util/util.c",
     "src/util/printf.c",
@@ -34,6 +35,15 @@ const src_aarch64 = [_][]const u8{
     "src/arch/aarch64/vcpu.c",
 };
 
+const src_riscv64 = [_][]const u8{
+    "src/arch/riscv/fault.c",
+    "src/arch/riscv/linux.c",
+    "src/arch/riscv/tcb.c",
+    "src/arch/riscv/vcpu.c",
+    "src/arch/riscv/virq.c",
+    "src/arch/riscv/plic.c",
+};
+
 pub fn build(b: *std.Build) void {
     const optimize = b.standardOptimizeOption(.{});
     const target = b.standardTargetOptions(.{});
@@ -59,29 +69,30 @@ pub fn build(b: *std.Build) void {
         .libmicrokit_linker_script = @as([]const u8, libmicrokit_linker_script_opt.?),
     });
 
-    const src_arch = switch (target.result.cpu.arch) {
+    const src_files = switch (target.result.cpu.arch) {
         .aarch64 => blk: {
             const vgic_src = switch (arm_vgic_version.?) {
                 2 => src_aarch64_vgic_v2,
                 3 => src_aarch64_vgic_v3,
                 else => @panic("Unsupported vGIC version given"),
             };
 
-            break :blk src_aarch64 ++ vgic_src;
+            break :blk &(src ++ src_aarch64 ++ vgic_src);
         },
+        .riscv64 => &(src ++ src_riscv64),
         else => {
             std.log.err("Unsupported libvmm architecture given '{s}'", .{ @tagName(target.result.cpu.arch) });
             std.posix.exit(1);
         }
     };
     libvmm.addCSourceFiles(.{
-        .files = &(src ++ src_arch),
+        .files = src_files,
         .flags = &.{
             "-Wall",
             "-Werror",
             "-Wno-unused-function",
             "-mstrict-align",
-            "-fno-sanitize=undefined", // @ivanv: ideally we wouldn't have to turn off UBSAN
+            // "-fno-sanitize=undefined", // @ivanv: ideally we wouldn't have to turn off UBSAN
         }
     });
 

examples/simple/board/cheshire/README.md

@@ -0,0 +1,42 @@
+# QEMU ARM virt images
+
+## Linux kernel
+
+### Details
+* Image name: `linux`
+* Config name: `linux_config`
+* Git remote: https://github.com/torvalds/linux.git
+* Tag: v6.5 (commit hash: `2dde18cd1d8fac735875f2e4987f11817cc0bc2c`)
+* Toolchain: `riscv64-linux-gnu-`
+    * Version: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0
+
+You can also get the Linux config used after booting by running the following
+command in userspace: `zcat /proc/config.gz`.
+
+### Instructions for reproducing
+```
+git clone --depth 1 --branch v6.5 https://github.com/torvalds/linux.git
+cp linux_config linux/.config
+make -C linux ARCH=riscv CROSS_COMPILE=riscv64-linux-gnu- all -j$(nproc)
+```
+
+The path to the image is: `linux/arch/riscv/boot/Image`.
+
+## Buildroot RootFS image
+
+### Details
+* Image name: `rootfs.cpio.gz`
+* Config name: `buildroot_config`
+* Version: 2023.08.1
+
+### Instructions for reproducing
+
+```
+wget https://buildroot.org/downloads/buildroot-2023.08.1.tar.xz
+tar xvf buildroot-2023.08.1.tar.xz
+cp buildroot_config buildroot-2022.08.1/.config
+make -C buildroot-2023.08.1
+```
+
+The root filesystem will be located at: `buildroot-2023.08.1/output/images/rootfs.cpio.gz` along
+with the other buildroot artefacts.