the config files

Makefile

@@ -8,3 +8,14 @@ wget-javascript:
 	wget -c https://bellard.org/jslinux/x86emu-wasm.js
 	wget -c https://bellard.org/jslinux/riscvemu64-wasm.js
 	wget -c https://bellard.org/jslinux/riscvemu32-wasm.js
+
+cfg-files:
+	rm -f *.cfg
+	wget -c https://bellard.org/jslinux/alpine-x86.cfg
+	wget -c https://bellard.org/jslinux/alpine-x86-xwin.cfg
+	wget -c https://bellard.org/jslinux/win2k.cfg
+	wget -c https://bellard.org/jslinux/freedos.cfg
+	wget -c https://bellard.org/jslinux/buildroot-riscv64.cfg
+	wget -c https://bellard.org/jslinux/buildroot-riscv64-xwin.cfg
+	wget -c https://bellard.org/jslinux/fedora33-riscv.cfg
+	wget -c https://bellard.org/jslinux/fedora33-riscv-xwin.cfg

alpine-x86-xwin.cfg

@@ -0,0 +1,16 @@
+/* VM configuration file */
+{
+    version: 1,
+    machine: "pc",
+    memory_size: 256,
+    kernel: "kernel-x86.bin",
+    cmdline: "loglevel=3 console=tty0 root=root rootfstype=9p rootflags=trans=virtio ro TZ=${TZ}",
+    fs0: { file: "https://vfsync.org/u/os/alpine-x86" },
+    eth0: { driver: "user" },
+    display0: {
+        device: "simplefb",
+        width: 1024,
+        height: 640,
+    },
+    input_device: "virtio",
+}

alpine-x86.cfg

@@ -0,0 +1,10 @@
+/* VM configuration file */
+{
+    version: 1,
+    machine: "pc",
+    memory_size: 256,
+    kernel: "kernel-x86.bin",
+    cmdline: "loglevel=3 console=hvc0 root=root rootfstype=9p rootflags=trans=virtio ro TZ=${TZ}",
+    fs0: { file: "https://vfsync.org/u/os/alpine-x86" },
+    eth0: { driver: "user" },
+}

buildroot-riscv64-xwin.cfg

@@ -0,0 +1,17 @@
+/* VM configuration file */
+{
+    version: 1,
+    machine: "riscv64",
+    memory_size: 256,
+    bios: "bbl64.bin",
+    kernel: "kernel-riscv64.bin",
+    cmdline: "loglevel=3 swiotlb=1 console=tty0 root=root rootfstype=9p rootflags=trans=virtio ro TZ=${TZ}",
+    fs0: { file: "https://vfsync.org/u/os/buildroot-riscv64" },
+    eth0: { driver: "user" },
+    display0: {
+        device: "simplefb",
+        width: 1024,
+        height: 640,
+    },
+    input_device: "virtio",
+}

buildroot-riscv64.cfg

@@ -0,0 +1,11 @@
+/* VM configuration file */
+{
+    version: 1,
+    machine: "riscv64",
+    memory_size: 256,
+    bios: "bbl64.bin",
+    kernel: "kernel-riscv64.bin",
+    cmdline: "loglevel=3 swiotlb=1 console=hvc0 root=root rootfstype=9p rootflags=trans=virtio ro TZ=${TZ}",
+    fs0: { file: "https://vfsync.org/u/os/buildroot-riscv64" },
+    eth0: { driver: "user" },
+}

fedora33-riscv-xwin.cfg

@@ -0,0 +1,17 @@
+/* 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",
+}

fedora33-riscv.cfg

@@ -0,0 +1,11 @@
+/* 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=hvc0 root=root rootfstype=9p rootflags=trans=virtio,cache=mmap ro TZ=${TZ}",
+    fs0: { file: "https://vfsync.org/u/os/fedora33-riscv" },
+    eth0: { driver: "user" },
+}

freedos.cfg

@@ -0,0 +1,18 @@
+/* VM configuration file */
+{
+    version: 1,
+    machine: "pc",
+    memory_size: 64,
+    bios: "bios.bin",
+    drive0: { file: "freedos_v1/blk.txt", device: "ide" },
+
+    display0: {
+       device: "vga",
+       width: 720,
+       height: 400,
+       vga_bios: "vgabios.bin",
+    },
+
+    input_device: "ps2",
+    rtc_local_time: true,
+}

win2k.cfg

@@ -0,0 +1,19 @@
+/* VM configuration file */
+{
+    version: 1,
+    machine: "pc",
+    memory_size: 192,
+    bios: "bios.bin",
+    drive0: { file: "win2k_v2/blk.txt", device: "ide" },
+    eth0: { driver: "user" },
+
+    display0: {
+       device: "vga",
+       width: 1024,
+       height: 768,
+       vga_bios: "vgabios.bin",
+    },
+
+    input_device: "ps2",
+    rtc_local_time: true,
+}