Merge branch 'master' into external_pager_mechanism

Conflicts:
	microkernel/mach/external_pager_mechanism.mdwn

6 files changed, 335 insertions, 0 deletions

diff --git a/public_hurd_boxen/bddebian.mdwn b/public_hurd_boxen/bddebian.mdwn
new file mode 100644
index 00000000..82fb0b8c
--- /dev/null
+++ b/public_hurd_boxen/bddebian.mdwn
@@ -0,0 +1,21 @@
+[[!meta copyright="Copyright © 2009, 2010 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+# IP addresses
+
+  * [[zenhost]]: 192.168.10.60
+      * blubber: 192.168.10.61
+      * flubber: 192.168.10.50
+      * grubber: 192.168.10.63
+      * snubber: 192.168.10.62
+
+At least anything in the .60 range can be used.
+
+Registered in zenhost's `/etc/hosts`.
diff --git a/public_hurd_boxen/installation.mdwn b/public_hurd_boxen/installation.mdwn
new file mode 100644
index 00000000..4f612a83
--- /dev/null
+++ b/public_hurd_boxen/installation.mdwn
@@ -0,0 +1,128 @@
+[[!meta copyright="Copyright © 2009, 2010 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+This page documents how installation of a new machine is being done on
+[[zenhost]].
+
+This method uses
+*[install_crosshurd](http://git.savannah.gnu.org/cgit/hurd/incubator.git/log/?h=install_crosshurd)*.
+
+Another option might be switching to <http://www.informatik.uni-koeln.de/fai/>
+or a equivalent system.
+
+Steps for *install_crosshurd*:
+
+  * Enable loggin with screen (`C-a H`).
+
+  * \# lvcreate ...
+
+  * machines/[MACHINE]
+
+  * \# MACHINE=[MACHINE] TARGET=/dev/zenhost/[MACHINE]-root ./install_crosshurd
+
+  * \# sudo umount /tmp/*/target
+
+  * /etc/xen/[MACHINE]
+
+  * \# xm create -c [MACHINE]
+
+      * \# /install
+
+          * TODO
+
+                Unpacking debconf (from .../debconf_1.5.28_all.deb) ...
+                + debconf-set-selections
+                warning: Unknown type error, skipping line 9
+
+          * TODO
+
+                Unpacking bash (from .../bash_4.1-3_hurd-i386.deb) ...
+                The bash upgrade discovered that your /bin/sh link points to dash.
+                As bash for Debian is destined to provide a working /bin/sh (pointing to
+                /bin/bash) your link will be overwritten by a default link.
+
+                If you don't want further upgrades to overwrite your customization, please
+                read /usr/share/doc/bash/README.Debian.gz for a more permanent solution.
+
+                [Press RETURN to continue]
+
+            That file doesn't say anything about it.
+
+          * TODO; related to the *debconf-set-selections* thing above
+
+                Setting up libpam-runtime (1.1.1-6) ...
+                debconf: unable to initialize frontend: Dialog
+                debconf: (No usable dialog-like program is installed, so the dialog based frontend cannot be used. at /usr/share/perl5/Debconf/FrontEnd/Dialog.pm line 75.)
+                debconf: falling back to frontend: Readline
+                debconf: unable to initialize frontend: Readline
+                debconf: (Can't locate Term/ReadLine.pm in @INC (@INC contains: /etc/perl /usr/local/lib/perl/5.10.1 /usr/local/share/perl/5.10.1 /usr/lib/perl5 /usr/share/perl5 /usr/lib/perl/5.10 /usr/share/perl/5.10 /usr/local/lib/site_perl .) at /usr/share/perl5/Debconf/FrontEnd/Readline.pm line 7.)
+                debconf: falling back to frontend: Teletype
+                Configuring libpam-runtime
+                --------------------------
+
+                Pluggable Authentication Modules (PAM) determine how authentication,
+                authorization, and password changing are handled on the system, as well as
+                allowing configuration of additional actions to take when starting user
+                sessions.
+
+                Some PAM module packages provide profiles that can be used to automatically
+                adjust the behavior of all PAM-using applications on the system.  Please
+                indicate which of these behaviors you wish to enable.
+
+                  1. Unix authentication
+
+                (Enter the items you want to select, separated by spaces.)
+
+                PAM profiles to enable:  
+
+          * if it's a Xen domU:
+
+                # sudo apt-get --purge install libc0.3-xen libc0.3-i686-
+
+      * As needed:
+
+            # mkfs.ext2 -I 128 -b 4096 /dev/hd2 # TAKE CARE!
+            # settrans /media/data /hurd/ext2fs /dev/hd2
+            # mkdir /media/data/home
+            # rmdir /home && ln -s media/data/home /
+
+            # mkfs.ext2 -I 128 -b 4096 /dev/hd3 # TAKE CARE!
+            # settrans /media/var /hurd/ext2fs /dev/hd3
+            # mv /var /media/var/
+            # ln -s media/var/var /
+
+      * If needed: restore (parts of) some files
+
+          * /etc/{passwd,shadow,group,gshadow}
+
+              * \# adduser ... sudo
+
+              * \# passwd root
+
+          * (`mkdir /etc/ssh`), restore `/etc/ssh/ssh_host_*key*`
+
+      * \# syncfs -s && halt
+
+  * \# xm create -c [MACHINE]
+
+      * \# /install_packages
+
+  * Until [[open_issues/screen]] is fixed:
+
+      * Install `flubber:~tschwinge/screen_4.0.3-11_hurd-i386.deb` instead.
+
+          * \# printf 'screen\thold\n' | dpkg --set-selections
+
+  * add line to zenhost's `/etc/hosts`
+
+  * system-specific:
+
+      * [[flubber]]
+      * [[snubber]]
diff --git a/public_hurd_boxen/installation/flubber.mdwn b/public_hurd_boxen/installation/flubber.mdwn
new file mode 100644
index 00000000..5ef0d314
--- /dev/null
+++ b/public_hurd_boxen/installation/flubber.mdwn
@@ -0,0 +1,53 @@
+[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+# additional packages
+
+ikiwiki
+
+
+# SSH Daemon
+
+`/etc/ssh/sshd_config`
+
+    Port 2250
+
+
+# Git Daemon
+
+`/etc/rc.local`
+
+    # runit doesn't work yet...
+    LC_ALL=C date >> /var/log/git-daemon
+    git daemon --verbose --user-path >> /var/log/git-daemon 2>&1 &
+
+Should [[fix runit|open issues/runit]] and use Debian's `git-daemon-run`
+package instead.
+
+
+# *polipo*
+
+`/etc/polipo/config`
+
+    # local begin
+
+    # TODO: "::0" doesn't work, at least not with a a PF_INET6 translator.
+    proxyAddress = "0.0.0.0"
+
+    # Size to which on-disk objects are truncated.
+    #diskCacheTruncateSize integer 1048576
+    # Time after which on-disk objects are truncated.
+    #diskCacheTruncateTime time 4d12h
+    diskCacheTruncateTime = 50d
+    # Time after which on-disk objects are removed.
+    #diskCacheUnlinkTime = 32d
+    diskCacheUnlinkTime = 100d
+
+    # local end
diff --git a/public_hurd_boxen/installation/snubber.mdwn b/public_hurd_boxen/installation/snubber.mdwn
new file mode 100644
index 00000000..68e0d619
--- /dev/null
+++ b/public_hurd_boxen/installation/snubber.mdwn
@@ -0,0 +1,66 @@
+[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+# Additional Packages
+
+Before 2010-08-12, we've been using apache2-mpm-worker, but that brought
+the system to its knees too often, leading to a un-syncable rootfs, etc.
+Let's see how apache2-mpm-prefork behaves.
+
+    apache2-mpm-prefork build-essential git-core gitweb ikiwiki inetutils-inetd
+    less libtext-csv-perl netcat nullmailer perlmagick screen texinfo
+
+Yet more:
+
+  * libemail-send-perl (for my *sendmail vs. ikiwiki* patch)
+
+  * libsearch-xapian-perl xapian-omega (for ikiwiki's search plugin)
+
+  * libyaml-perl (for ikiwiki's YAML field plugins)
+
+
+## [[open_issues/syslog]]
+
+    $ find /etc/rc*/ | grep syslog | sudo xargs rm
+
+
+# `~hurd-web/`
+
+    $ mkdir hurd-web && GIT_DIR=hurd-web git init
+
+
+# `~tschwinge/`
+
+    $ mkdir tmp/backup && chmod 0733 tmp/backup
+
+
+# `/var/www/robots.txt`
+
+This file used to contain:
+
+    User-agent: *
+    Disallow: /gitweb/
+    Disallow: /cgi-bin/
+
+... which I've now changed to:
+
+    User-agent: *
+    Disallow: /
+
+The goal is that robots rather index the official pages,
+<http://www.gnu.org/software/hurd/>, instead of the staging area on
+<http://www.bddebian.com:8888/~hurd-web/>.
+
+
+# Restore Backup
+
+## `/etc/apache2/mods-enabled/`
+
+`rewrite.load`, `userdir.conf`, `userdir.load`
diff --git a/public_hurd_boxen/xen_handling.mdwn b/public_hurd_boxen/xen_handling.mdwn
new file mode 100644
index 00000000..47d92c43
--- /dev/null
+++ b/public_hurd_boxen/xen_handling.mdwn
@@ -0,0 +1,49 @@
+[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+# listing running domUs
+
+    $ sudo xm list
+
+    $ sudo xm top
+
+# handling running domUs
+
+Forcefully killing a domU (that has crashed or is busy-looping, etc.):
+
+    $ sudo xm destroy [domU]
+
+As for (re-)starting a domU, read below in *domU consoles*.
+
+Using `xm shutdown [domU]` to gracefully shut down a running domU does not yet
+work -- this is not yet implemented in the [[Xen port of GNU
+Mach|microkernel/mach/gnumach/ports/xen]] ([[!taglink open_issue_xen]]).
+
+# domU consoles
+
+To avoid any complications with people trying to use the same console at the
+same time, please use this command for attaching to a domU's console (this
+command line will also start the domU in case that it isn't running already):
+
+    $ host=[domU] && sudo screen -DRRS console-$host sh -c "xm console $host || xm create -c $host"
+
+Otherwise, if one attaches to the same console twice, the second instance will
+in fact forward input to the domU (possibly infering with what the person is
+doing on the first instance), but the output won't be sent back to the second
+instance.
+
+After having typed this once, Bash's `reverse-search-history` (`C-r`), followed
+by typing in `host=flubber`, for example, will be enough to get access to
+that machine's console.
+
+/!\ TODO: How does one get the environment variables `COLUMNS` and `LINES` set
+properly when using `xm console`?  This is relevant for everything using
+`(n)curses` -- for interactive console applications.  Using `export COLUMNS=143
+LINES=44` does work, but is a manual process.
diff --git a/public_hurd_boxen/zenhost.mdwn b/public_hurd_boxen/zenhost.mdwn
new file mode 100644
index 00000000..b828b8e9
--- /dev/null
+++ b/public_hurd_boxen/zenhost.mdwn
@@ -0,0 +1,18 @@
+[[!meta copyright="Copyright © 2009, 2010 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+*zenhost* is a Xen dom0 (hosted by [[bddebian]]) which is hosting several domUs
+(see the table on [[public hurd boxen]] for a list).
+
+
+[[!inline pages=public_hurd_boxen/xen_handling feeds=no]]
+
+
+# [[Installation of new machines|installation]]