Windows虚拟机用VirtualBox跑，Linux虚拟机用virt-manager，是最适当的。

由于Debian已经宣布再也不收录VirtualBox了，它推荐virt-manager（参见此处），就安了一个后者来看看。

然而查了N多资料，仍然搞不定virt-manager怎样跟Windows虚拟客户机共享文件夹的问题。

另外一方面，VirtualBox要实现共享文件夹，须要在虚拟客户机里安装加强包，客户是Windows时问题还不大，但对于Linux客户机而言，要执行安装脚本首先要改权限，但脚本跟加强包都在一个iso镜像里，无法改。

因此综合下来的结果，仍是让VirtualBox管理Windows，virt-manager管理linux，各司其职最好。