欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
VirtualBox
第3行: | 第3行: | ||
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. | 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. | ||
==Guest OS== | ==Guest OS== | ||
+ | 以 VirtualBox 的 WinXP 为 Host OS, 安装以下系统, 方便大家的开发、测试和系统评估。 | ||
===[[Debian]]=== | ===[[Debian]]=== | ||
下载 Debian 4 iso 文件, 如 debian-40r2-i386-xfce-CD-1.iso 能非常方便的安装 :) | 下载 Debian 4 iso 文件, 如 debian-40r2-i386-xfce-CD-1.iso 能非常方便的安装 :) | ||
第18行: | 第19行: | ||
More Detail: http://blog.fruhen-infotec.de/pebble/2007/12/06/1196967960000.html | More Detail: http://blog.fruhen-infotec.de/pebble/2007/12/06/1196967960000.html | ||
+ | |||
+ | 安装 [[OpenSolaris Indiana]] iso 文件 http://download.huihoo.com/opensolaris/ | ||
===[[FreeBSD]]=== | ===[[FreeBSD]]=== | ||
+ | 安装FreeBSD 6.3 iso http://download.huihoo.com/freebsd/ | ||
===[[OpenBSD]]=== | ===[[OpenBSD]]=== | ||
+ | 安装OpenBSD 4.2 iso http://download.huihoo.com/openbsd/ | ||
===[[NetBSD]]=== | ===[[NetBSD]]=== | ||
+ | 安装NetBSD 4.0 iso http://download.huihoo.com/netbsd/ | ||
==Links== | ==Links== | ||
*http://www.virtualbox.org/ | *http://www.virtualbox.org/ | ||
*http://download.huihoo.com/virtualbox/ | *http://download.huihoo.com/virtualbox/ | ||
*http://docs.huihoo.com/virtualbox/ | *http://docs.huihoo.com/virtualbox/ |
2008年2月16日 (六) 09:14的版本
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.
目录 |
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/