欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
VirtualBox
VirtualBox is a family of powerful x86 virtualization products for enterprise as well as home use. Not only is VirtualBox an extremely feature rich, high performance product for enterprise customers, it is also the only professional solution that is freely available as Open Source Software under the terms of the GNU General Public License (GPL). See "About VirtualBox" for an introduction; see "innotek" for more about our company.
Presently, VirtualBox runs on Windows, Linux, Macintosh and OpenSolaris hosts and supports a large number of guest operating systems including but not limited to Windows (NT 4.0, 2000, XP, Server 2003, Vista), DOS/Windows 3.x, Linux (2.4 and 2.6), and OpenBSD.
目录 |
Debian
#apt-cache search virtualbox #apt-get install virtualbox #apt-get -f install
This will complete the installation
Starting the VirtualBox Graphical User Interface
If you want to start Virtualbox GUI use the following command from your terminal(Applications—>Accessories—>Termianl)
VirtualBox // 注意大小写
Guest OS
以 VirtualBox 的 WinXP 为 Host OS, 安装以下系统, 方便大家的开发、测试和系统评估。
Debian
下载 Debian 4 iso 文件, 如 debian-40r2-i386-xfce-CD-1.iso 能非常方便的安装 :) http://download.huihoo.com/debian/ or http://cdimage.debian.org/debian-cd/
CentOS
OpenSolaris
This HowTo is based on the Innotek VirtualBox and on 32bit Guest System - not yet tested on 64bit.
Requierements :
- Innotek VirtualBox
- Solaris Express 10 (Developer Edition) or
- Indiana Developer Preview (iso image works fine)
- Windows, MacOS X or Linux as Host System
- should also work with OpenSolaris
More Detail: http://blog.fruhen-infotec.de/pebble/2007/12/06/1196967960000.html
安装 OpenSolaris Indiana iso 文件 http://download.huihoo.com/opensolaris/
FreeBSD
安装FreeBSD 6.3 iso http://download.huihoo.com/freebsd/
OpenBSD
安装OpenBSD 4.2 iso http://download.huihoo.com/openbsd/
NetBSD
安装NetBSD 4.0 iso http://download.huihoo.com/netbsd/
ReactOS
将 ReactOS 作为Windows应用的开发、测试环境。