diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnu_mach/ports/xen.mdwn | 12 | ||||
| -rw-r--r-- | microkernel/viengoos.mdwn | 7 |
2 files changed, 8 insertions, 11 deletions
diff --git a/microkernel/mach/gnu_mach/ports/xen.mdwn b/microkernel/mach/gnu_mach/ports/xen.mdwn index cdb4e2de..c492d9a0 100644 --- a/microkernel/mach/gnu_mach/ports/xen.mdwn +++ b/microkernel/mach/gnu_mach/ports/xen.mdwn @@ -10,15 +10,9 @@ is included in the section entitled [[toc ]] -## Xen dom0, PAE-disabled hypervisor +## Xen dom0, hypervisor -/!\ Since GNU Mach doesn't handle PAE yet, you'll need a PAE-disabled hypervisor. - -On Debian Lenny, for example, you can install xen-hypervisor-3.2-1-i386-nonpae. - -This also means that you'll currently need a PAE-disabled `dom0`. -[[Stefan_Siegl|stesie]] is providing a PAE-disabled Linux kernel image at -<http://brokenpipe.de/GnuHurd/XEN/>. +/!\ Now that GNU Mach handles PAE you can use a PAE-enabled hypervisor. You can either get binaries at <http://youpibouh.thefreecat.org/hurd-xen/> or build them yourself. @@ -63,7 +57,7 @@ and gnumach should get started. Proceed with native-install. ./native-install - If `xm` complains about networking (`vif could not be connected`), it's Xen scripts' fault, see Xen documentation for how to configure the network. The simplest way is network-bridge with fixed IPs (note that you need the bridge-utils package for this). You can also just disable networking by commenting the vif line in the config. -- If `xm` complains `Error: (2, 'Invalid kernel', 'xc_dom_compat_check: guest type xen-3.0-x86_32 not supported by xen kernel, sorry\n')`, you most probably have a PAE-enabled hypervisor, and you just need to install and boot non-PAE hypervisor and kernel. +- If `xm` complains `Error: (2, 'Invalid kernel', 'xc_dom_compat_check: guest type xen-3.0-x86_32 not supported by xen kernel, sorry\n')`, you most probably have a PAE-enabled hypervisor and a non-PAE gnumach. Either install and boot non-PAE hypervisor and kernel, or rebuilt gnumach in PAE mode. ## Building from sources diff --git a/microkernel/viengoos.mdwn b/microkernel/viengoos.mdwn index 9a4f726f..3b7cdd51 100644 --- a/microkernel/viengoos.mdwn +++ b/microkernel/viengoos.mdwn @@ -11,8 +11,11 @@ is included in the section entitled *viengoos* is a new kernel currently being designed and written by Neal Walfield. -It can be found in the *hurd-l4* repository, available at -<http://savannah.gnu.org/cvs/?group=hurd>. +The source can be downloaded from the *viengoos.git* repository, cf. +<http://git.savannah.gnu.org/gitweb/?p=hurd/viengoos.git>. You can +check it out using, for example: + +> git clone git://git.sv.gnu.org/hurd/viengoos.git * [[Building]] * Running |