/* VM configuration file */
{
    version: 1,
    machine: "riscv64",
    memory_size: 256,
    bios: "https://bellard.org/jslinux/bbl64.bin",
    kernel: "https://bellard.org/jslinux/kernel-riscv64.bin",
    cmdline: "loglevel=3 console=tty0 root=root rootfstype=9p rootflags=trans=virtio,cache=mmap ro TZ=${TZ}",
    fs0: { file: "https://vfsync.org/u/os/fedora33-riscv" },
    eth0: { driver: "user" },
    display0: {
        device: "simplefb",
        width: 1024,
        height: 768,
    },
    input_device: "virtio",
}