···12 else if pkgs.stdenv.isArm || pkgs.stdenv.isAarch64 then "ttyAMA0"
13 else throw "Unknown QEMU serial device for system '${pkgs.stdenv.system}'";
1400000015}
···12 else if pkgs.stdenv.isArm || pkgs.stdenv.isAarch64 then "ttyAMA0"
13 else throw "Unknown QEMU serial device for system '${pkgs.stdenv.system}'";
1415+ qemuBinary = qemuPkg: {
16+ "i686-linux" = "${qemuPkg}/bin/qemu-kvm";
17+ "x86_64-linux" = "${qemuPkg}/bin/qemu-kvm -cpu kvm64";
18+ "armv7l-linux" = "${qemuPkg}/bin/qemu-system-arm -enable-kvm -machine virt -cpu host";
19+ "aarch64-linux" = "${qemuPkg}/bin/qemu-system-aarch64 -enable-kvm -machine virt,gic-version=host -cpu host";
20+ }.${pkgs.stdenv.system} or (throw "Unknown QEMU binary for '${pkgs.stdenv.system}'");
21}