summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnu_mach/ports/xen.mdwn12
-rw-r--r--microkernel/viengoos.mdwn7
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