From 572609b30ab81bb2c0dd10547ab5829910c394ac Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 31 Jan 2017 18:33:04 +0100 Subject: [PATCH] vbox5: add win10 run scenario Issue #2338 --- repos/ports/run/vbox_auto_win10_vbox5.run | 25 ++++++ repos/ports/run/vm_win10.vbox | 100 ++++++++++++++++++++++ 2 files changed, 125 insertions(+) create mode 100644 repos/ports/run/vbox_auto_win10_vbox5.run create mode 100644 repos/ports/run/vm_win10.vbox diff --git a/repos/ports/run/vbox_auto_win10_vbox5.run b/repos/ports/run/vbox_auto_win10_vbox5.run new file mode 100644 index 0000000000..b895764fc7 --- /dev/null +++ b/repos/ports/run/vbox_auto_win10_vbox5.run @@ -0,0 +1,25 @@ +# +# Windows 10 in VirtualBox 5 +# + +assert_spec nova +assert_spec 64bit + +set flavor "win10" + +set use_vbox4 0 +set use_vbox5 1 + +set use_rumpfs 1 +# Write overlay only into ram +set use_ram_fs 1 +# However read initial overlay from disk +set use_overlay_from_disk 1 + +set use_usb 1 +set use_ps2 [have_spec ps2] + +set use_vms 1 +set use_cpu_load 0 + +source ${genode_dir}/repos/ports/run/vbox_win.inc diff --git a/repos/ports/run/vm_win10.vbox b/repos/ports/run/vm_win10.vbox new file mode 100644 index 0000000000..6465c032d4 --- /dev/null +++ b/repos/ports/run/vm_win10.vbox @@ -0,0 +1,100 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +