Prepare toolchain/logs/master branch.

15 files changed, 0 insertions, 1324 deletions

diff --git a/microkernel/mach/gnumach/boot_trace.mdwn b/microkernel/mach/gnumach/boot_trace.mdwn
deleted file mode 100644
index 1badf712..00000000
--- a/microkernel/mach/gnumach/boot_trace.mdwn
+++ /dev/null
@@ -1,229 +0,0 @@
-[[!meta copyright="Copyright © 2007, 2008, 2011 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]]."]]"""]]
-
-`if NCPUS > 1` stuff is not being considered so far.
-
-
-> i386/i386at/boothdr.S: \_start
-
-> i386/i386at/boothdr.S: boot\_entry
-
->> i386/i386at/model\_dep.c: c\_boot\_entry
-
->>> i386/i386at/boothdr.S: discover\_x86\_cpu\_type
-
->>> i386/i386at/model\_dep.c: i386at\_init
-
->>>> i386/i386/pic.c: picinit
-
->>>> i386/i386at/model\_dep.c: mem\_size\_init
-
->>>> i386/intel/pmap.c: pmap\_bootstrap
-
->>>> i386/i386/gdt.c: gdt\_init
-
->>>> i386/i386/idt.c: idt\_init
-
->>>> i386/i386at/int\_init.c: int\_init
-
->>>> i386/i386/ldt.c: ldt\_init
-
->>>> i386/i386/ktss.c: ktss\_init
-
->>> kern/startup.c: setup\_main
-
->>>> kern/debug.c: panic\_init
-
->>>> kern/printf.c: printf\_init
-
->>>> kern/sched\_prim.c: sched\_init
-
->>>>> kern/sched\_prim.c: wait\_queue\_init
-
->>>>> kern/processor.c: pset\_sys\_bootstrap
-
->>>>> kern/ast.c: ast\_init
-
->>>> vm/vm\_init.c: vm\_mem\_bootstrap
-
->>>>> vm/vm\_resident.c: vm\_page\_bootstrap
-
->>>>>> vm/vm\_resident.c: pmap\_startup
-
->>>>> kern/zalloc.c: zone\_bootstrap
-
->>>>> vm/vm\_object.c: vm\_object\_bootstrap
-
->>>>>> vm/vm\_external.c: vm\_external\_module\_initialize
-
->>>>> vm/vm\_map.c: vm\_map\_init
-
->>>>> vm/vm\_kern.c: kmem\_init
-
->>>>> i386/intel/pmap.c: pmap\_init
-
->>>>> kern/zalloc.c: zone\_init
-
->>>>> kern/kalloc.c: kalloc\_init
-
->>>>> vm/vm\_fault.c: vm\_fault\_init
-
->>>>> vm/vm\_resident.c: vm\_page\_module\_init
-
->>>>> vm/memory\_object.c: memory\_manager\_default\_init
-
->>>> ipc/ipc\_init.c: ipc\_bootstrap
-
->>>>> ipc/ipc\_table.c: ipc\_table\_init
-
->>>>> ipc/ipc\_notify.c: ipc\_notify\_init
-
->>>>> ipc/ipc\_hash.c: ipc\_hash\_init
-
->>>>> ipc/ipc\_marequest.c: ipc\_marequest\_init
-
->>>> vm/vm\_init.c: vm\_mem\_init
-
->>>>> vm/vm\_object.c: vm\_object\_init
-
->>>> ipc/ipc\_init.c: ipc\_init
-
->>>>> kern/ipc\_host.c: ipc\_host\_init
-
->>>>>> kern/ipc\_host.c: ipc\_pset\_init
-
->>>>>> kern/ipc\_host.c: ipc\_pset\_enable
-
->>>>>> kern/ipc\_host.c: ipc\_processor\_init
-
->>>> i386/intel/pmap.h: PMAP\_ACTIVATE\_KERNEL
-
->>>> kern/timer.c: init\_timers
-
->>>> kern/mach\_clock.c: init\_timeout
-
->>>> kern/xpr.c: xprbootstrap
-
->>>> kern/time\_stamp.c: timestamp\_init
-
->>>> kern/mach\_clock.c: mapable\_time\_init
-
->>>> i386/i386at/model\_dep.c: machine\_init
-
->>>>> device/cons.c: cninit
-
->>>>> i386/i386/fpu.c: init\_fpu
-
->>>>> linux/dev/init/main.c: linux\_init
-
->>>>>> linux/dev/arch/i386/kernel/irq.c: init\_IRQ
-
->>>>>>> linux/dev/arch/i386/kernel/irq.c: reserve\_mach\_irqs
-
->>>>>> linux/dev/kernel/sched.c: linux\_sched\_init
-
->>>>>> linux/dev/init/main.c: calibrate\_delay
-
->>>>>> linux/dev/glue/kmem.c: linux\_kmem\_init
-
->>>>>> linux/src/drivers/pci/pci.c: pci\_init
-
->>>>>>> linux/src/arch/i386/kernel/bios32.c: pcibios\_init
-
->>>>>>> linux/src/drivers/pci/pci.c: scan\_bus
-
->>>>>>> linux/src/arch/i386/kernel/bios32.c: pcibios\_fixup
-
->>>>>> linux/dev/glue/net.c: linux\_net\_emulation\_init
-
->>>>>> linux/dev/drivers/block/genhd.c: device\_setup
-
->>>>>>> linux/dev/glue/block.c: blk\_dev\_init
-
->>>>>>>> linux/src/drivers/block/ide.c: ide\_init
-
->>>>>>>> linux/dev/drivers/block/floppy.c: floppy\_init
-
->>>>>>> linux/src/drivers/scsi/scsi.c: scsi\_dev\_init
-
->>>>>>> linux/dev/net/core/dev.c: net\_dev\_init
-
->>>>>> linux/pcmcia-cs/glue/pcmcia.c: pcmcia\_init
-
->>>>> i386/i386at/autoconf.c: probeio
-
->>>>> i386/i386at/model\_dep.c: inittodr
-
->>>>> i386/intel/pmap.c: pmap\_unmap\_page\_zero
-
->>>> kern/task.c: task\_init
-
->>>>> kern/syscall\_emulation.c: eml\_init
-
->>>> kern/thread.c: thread\_init
-
->>>>> i386/i386/pcb.c: pcb\_module\_init
-
->>>>>> i386/i386/fpu.c: fpu\_module\_init
-
->>>>>> i386/i386/iopb.c: iopb\_init
-
->>>> kern/thread\_swap.c: swapper\_init
-
->>>> kern/sched\_prim.c: recompute\_priorities
-
->>>> kern/mach\_factor.c: compute\_mach\_factor
-
->>>> kern/startup.c: start\_kernel\_threads
-
-[...]
-
->>>> kern/startup.c: cpu\_launch\_first\_thread
-
->>>>> i386/i386at/model\_dep.c: startrtclock
-
->>>>>> i386/i386/pit.c: clkstart
-
->>>>> i386/intel/pmap.h: PMAP\_ACTIVATE\_KERNEL
-
->>>>> i386/i386/pcb.c: load\_context
-
-[...]
-
-> kern/startup.c: start\_kernel\_threads
-
-> Threads get created.
-
->> kern/sched\_prim.c: idle\_thread
-
->> One for each CPU.
-
->> kern/thread.c: reaper\_thread 
-
->> kern/thread\_swap.c: swapin\_thread
-
->> kern/sched\_prim.c: sched\_thread
-
->> [...]
-
->> kern/bootstrap.c: bootstrap\_create
-
->>> The [[grub/multiboot]] modules have been put somewhere into memory by
->>> [[GRUB]].  The boot scripts are parsed.  The modules' ELF image's `PT_LOAD`
->>> sections are \`\`read'' (that is, `vm_allocate` and `copyout`) and turned
->>> into real [[task]]s.  The multiboot modules' memory regions can be
->>> deallocated then.
-
->> [...]
-
->> vm\_pageout
-
->> Does not return.
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
deleted file mode 100644
index 427fb083..00000000
--- a/microkernel/mach/gnumach/building.mdwn
+++ /dev/null
@@ -1,119 +0,0 @@
-[[!meta copyright="Copyright © 2006, 2007, 2008, 2011 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]]."]]"""]]
-
-# Building [[GNU_Mach|gnumach]] from Source
-
-If you want to build the [[GNU_Mach|gnumach]] kernel yourself instead of just using a
-pre-built binary, follow these instructions.
-
-The unpacked source tree is around 20 MiB, and the build tree (with all drivers
-enabled) is around 50 MiB.
-
-## Getting the Source Code
-
-You can either use the git repository (see <http://git.savannah.gnu.org/cgit/hurd/>),
-
-    $ git clone http://git.savannah.gnu.org/cgit/hurd/gnumach.git/
-
-... or get the Debian sources, if you're using Debian. (See
-[here](http://packages.debian.net/source/unstable/gnumach).)
-
-    $ apt-get source gnumach
-
-Please see the Debian [[running/debian/FAQ]] before using `apt-get source`.
-
-## On Debian Systems:
-
-### Preparing for the Build
-
-Building GNU Mach requires the *build-essential* and *fakeroot* packages,
-and some additional dependencies specified by the gnumach source package:
-
-    # apt-get install build-essential fakeroot
-    # apt-get build-dep gnumach
-
-### Building and Installing ... Debian `.deb` files
-
-Change into the directory with the downloaded / unpacked GNU Mach sources,
-
-    $ cd gnumach-XXXXXXXX
-
-Start the build process with
-
-    $ dpkg-buildpackage -us -uc -b -rfakeroot
-
-[[GNU_Mach|gnumach]] is now building.  To use the new kernel, you must install the
-resulting `.deb` package which is located one directory above the build
-directory and has a similar name as the build directory:
-
-    # dpkg -i ../gnumach_XXXXXXXX-X_hurd-i386.deb
-
-You can now reboot your computer and enjoy the new kernel.
-
-## On non-Debian Systems:
-
-### Preparing for the Build
-
-Building GNU Mach requires a C compiler, a _static_ 32 bit standard C library,
-your favourite flavor of awk (gawk) and GNU make.
-
-First, create the configuartion files:
-
-    $ cd gnumach
-    $ autoreconf --install
-
-GNU Mach (and the associated headers) need be built in a separate build directory:
-
-    $ mkdir build
-    $ cd build
-
-Run configure:
-
-    $ ../configure --prefix=
-
-If building on a 64 bit host system,
-you need a number of additional settings to force a 32 bit build:
-
-    $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' ../configure --prefix= --host=i686-unknown-linux-gnu
-
-### Installing the Header Files First
-
-In order to build GNU Mach, you will need a working MIG.
-Building MIG in turn requires the GNU Mach header files to be already present.
-So for bootstrapping MIG, you have to install the Mach headers first,
-for example into `~/gnu/include/`:
-
-    $ make DESTDIR=~/gnu install-data
-
-Now you can [[build_MIG|mig/gnu_mig/building]].
-Once you are done with that, come back here to finish the Mach build.
-
-### Building and Installing
-
-With MIG present, now build the kernel image:
-
-    $ make gnumach.gz
-
-Optionally run the (tiny) test suite:
-
-    $ make check
-
-It's a good idea to make a backup of the previously installed kernel, in case
-you can't boot using the new one. That way, you can restore it after booting
-from a rescue media (or mounting the disk image used by your vm).
-
-    # cp /boot/gnumach.gz /boot/gnumach.gz.bak
-
-GNU Mach can now be moved into place, typically `/boot/gnumach.gz`, so that you
-can boot your system with the new kernel.
-
-    # cp gnumach.gz /boot
-
diff --git a/microkernel/mach/gnumach/debugging.mdwn b/microkernel/mach/gnumach/debugging.mdwn
deleted file mode 100644
index b57f0393..00000000
--- a/microkernel/mach/gnumach/debugging.mdwn
+++ /dev/null
@@ -1,145 +0,0 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2011, 2012 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]]."]]"""]]
-
-Here are some hints to debug with GNU Mach.
-
-[[!toc levels=2]]
-
-
-# Kernel Debugger
-
-Mach has a built-in kernel debugger.
-[Manual](http://www.gnu.org/software/hurd/gnumach-doc/Kernel-Debugger.html).
-
-First, make sure to enable it. Either by using a pre-packaged gnumach-image-something-dbg, or by passing --enable-kdb to the ./configure invocation.
-
-Then, reproduce the issue again. If something like a kernel trap happens, you will end up in the GNU Mach debugger. Otherwise, type control-alt-d to make Mach enter it by hand.
-
-If you are running in kvm or qemu, it is convenient to use the curses frontend to be able to copy/paste.
-
-To get the register values, type
-
-    show registers
-
-To get a backtrace, type trace, which will print both function return addresses and function parameters, such as
-
-    0x107cf1(8088488,5e,40000008,2aa008,0)
-    0x1071bc(0,0,0,0,0)
-    0x106831(24fe00,2000,b,800,0)
-
-Run the addr2line tool on the return addresses:
-
-    $ addr2line -i -f -e /boot/gnumach 0x107cf1 0x1071bc 0x106831
-
-This will print the source code lines of the backtrace.
-
-To examine the backtrace of some given thread, use
-
-    show all thread/u
-
-to get the whole listing of all tasks and threads. You can then use trace/t to trace a specific thread.
-
-Unfortunately, userland and kernelland use the same range of addresses, so one can not get userland traces easily. The Xen port uses different ranges, and in that case one can use trace/u to also get the userland trace.
-
-To examine a variable, use nm /boot/gnumach to get the address of the variable (e.g. 0x123400), and use
-
-    x 0x123400
-
-to read it. One can also write to it by using
-
-    w 0x123400
-
-Another interesting feature is watching a variable, by using
-
-    watch 0x123400
-
-and then type continue, to let Mach continue execution. The debugger will be entered again on any change in that variable. The watch is implemented in hardware, so it does not disturb or slow down execution at all.
-
-
-# GDB in QEMU
-
-When you're [[running_a_system_in_QEMU|hurd/running/qemu]] you can directly
-[use GDB on the running
-kernel](http://www.nongnu.org/qemu/qemu-doc.html#SEC48).
-
-
-# Code Inside the Kernel
-
-Alternatively you can use an approach like this one: add the following code
-snippet to `device/ds_routines.c`'s `ds_device_open` function, right at the top
-of the function, and modify the code as needed.
-
-      void D (char *s)
-      {
-        switch (s[0] - '0')
-          {
-          case 0:
-           printf ("Hello from %s!\n", __FUNCTION__);
-           break;
-          case 1:
-           printf ("%s: Invoking task_collect_scan.\n", __FUNCTION__);
-           extern void task_collect_scan (void);
-           task_collect_scan ();
-           break;
-          default:
-           printf ("No idea what you want me to do.\n");
-           break;
-          }
-      }
-    
-      if (name && name[0] == 'D')
-        D (name + 1);
-
-Then boot your system and do something like this:
-
-    # devprobe D0
-    Hello from D!
-    # devprobe D1
-    D: Invoking task_collect_scan.
-    # devprobe D2
-    No idea what you want me to do.
-
-This is especially useful if you need to manually trigger some stuff inside the
-running kernel, as with the *D1* example.
-
-
-## Writing to the Screen Buffer
-
-If you're doing real low level debugging, you might want to put variations of
-the following snipped into the code, this code will write a `#` character at
-line `[LINE]`, column `[COLUMN]` on the screen:
-
-    *((char *) 0xb8000 + 2 * ([LINE] * 80 + [COLUMN])) = '#';
-    halt_cpu ();
-
-The call of `halt_cpu` will -- as the name suggests -- halt the system
-afterwards.  This might be what you want or it might not, but it is needed at
-some place when running the kernel inside QEMU, as QEMU somehow decides not to
-update its display buffer anymore under certain conditions.
-
-
-# Halting the CPU and Examining Registers
-
-IRC, freenode, #hurd, 2011-07-14:
-
-    <braunr> one ugly trick i use when printf isn't available is to halt the
-      cpu
-    <braunr> then use info registers to know where the cpu is halted
-    <braunr> and you'll know if you reached that code or not
-    <braunr> (info registers is a qemu command)
-
-
-# Serial Console
-
-IRC, freenode, #hurd, 2011-11-13:
-
-    <youpi> use console=com0
-    <youpi> to activate the console on the first serial port
diff --git a/microkernel/mach/gnumach/hardware_compatibility_list.mdwn b/microkernel/mach/gnumach/hardware_compatibility_list.mdwn
deleted file mode 100644
index 874f5f07..00000000
--- a/microkernel/mach/gnumach/hardware_compatibility_list.mdwn
+++ /dev/null
@@ -1,112 +0,0 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2011 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]]."]]"""]]
-
-# CPU Architecture
-
-GNU Mach current only supports the `x86` (alias `ia32` or `i386`) architecture.
-
-`amd64`/`ix64` should work in `32-bit` compatibility mode. However, in practice
-`amd64` systems seem to be troublesome more often than not. This is probably
-related to the same (chipset-related) problems we often see with recent
-machines; but it seems that `amd64` ones use problematic chipsets particularily
-often. So far we haven't heard of similar problems with Intel's eqivalent
-`ix64` (or `EM64T` as it used to be called) -- but maybe that just means fewer
-people tried running the Hurd on such machines :-)
-
-Support for running GNU Mach (and a complete GNU/Hurd system) in a
-[Xen](http://www.cl.cam.ac.uk/research/srg/netos/xen/) `domU` (again on `x86`
-only) is [[being_worked_on|ports/xen]].
-
-Read about further [[ports]].
-
-# Memory
-
-GNU Mach will use a maximum of 1.7 GiB of RAM.  If your system has more,
-the surplus will silently be ignored.  (In past times, this would hinder GNU
-Mach from booting at all, but this has been fixed, so you no longer need to
-apply GRUB's `uppermem` directive.)
-
-# Video Cards
-
-Debian distributes a version of [X.org](http://x.org/).  If your video card driver
-depends on a special kernel interface such as that provided by
-the `agpgart` kernel module for the Linux kernel, then your video
-card will only be supported by the VESA driver.
-
-Using an internal i815 videocard [won't
-work](http://lists.debian.org/debian-hurd/2007/12/msg00007.html) (at least when
-using the specialized driver), because of [missing AGP GART support in GNU
-Mach](http://lists.debian.org/debian-hurd/2007/12/msg00011.html).
-
-# Sound
-
-No sound cards are supported at this time.
-
-# USB 1.1/2.0
-
-USB is not supported at this time.
-
-However, USB-type keyboards and mice may (and have been reported to) work
-nevertheless, given that the hardware / BIOS is doing emulation to the
-supported legacy interfaces.
-
-# IEEE 1394 (Firewire)
-
-IEEE 1394 is not supported at this time
-
-# Storage
-
-All common IDE drives should work.  Some drive geometries do not work,
-e.g. drives with hundreds of GiB of storage space, see [[!GNU_Savannah_bug
-26425]].
-
-
-## SATA
-
-SATA drives may work in compatibility mode.
-
-This is how booting a [[GNU/Hurd_system|hurd]] will typically fail if GNU Mach
-couldn't connect to the hard disk, e.g., in a SATA system without IDE
-compatibility mode:
-
-    start (hd0,3)/hurd/ext2fs.static: (hd0,3)/hurd/ext2fs.static
-    device:hd0s4: No such device or address
-
-There *may* be an option in the system's BIOS setup to configure enabling such
-a compatibility mode.
-
-
-# Device Drivers
-
-[GNU Mach Reference Manual,
-Configuration](http://www.gnu.org/software/hurd/gnumach-doc/Configuration.html)
-contains a list of device drivers that are included in GNU Mach and elaborates
-on the hardware devices they support.
-
-# User Success Reports
-
-These boards are known to work. Gnumach/Hurd has been installed and run on these board successfully. 
-
-* ASUS P2B motherboard with an Intel PII 450MHz CPU with Intel Pro/100 NIC in PCI slot
-* Intel SE-440BX motherboard 
-* VIA EPIA-M Mini-ITX motherboard with VIA Nehemiah C3 1Ghz processor. Onboard NIC (VIA Rhine) works good.
-* Compaq Deskpro ENS, Pentium3 (666 MHz upgraded to 1 GHz), Intel i815 chipset, chipset integrated NIC (detected twice, but works fine with eth0; trying to access eth1 confuses the driver and makes the system unusable), Matrox Mystique 220 (PCI) graphics card. Also works with rtl8029 (NE2000 PCI) NIC when onboard NIC disabled in BIOS setup.
-* Abit BX6 Rev. 2.0 with Celeron 400, after disabling "memory hole at 15MB" option in BIOS setup. (Otherwise, Mach detects only 15MiB of RAM, making Hurd run *extremely* slow and instable.) Should also work with PentiumII or Pentium3.
-
-# User Failure Reports
-
-Some people couldn't get these hardware combinations to work with Hurd.
-
-Note: The Debian GNU/Hurd installer actually runs on Linux, so it (almost) always works. The critical bit is booting after installation.
-
-* ASUS P5A motherboard and AMD K6-2 333MHz CPU - doesn't boot
-* ASUS P2B-LS motherboard with an Intel PII-MMX 400 MHz CPU - this board had a defective onboard NIC (that could not be disable in BIOS) and working 3COM Etherlink III NIC in a PCI bus slot. This combination worked with GNU/Linux. The 3COM NIC is known to work with the Hurd. However, while gnumach/Hurd will boot on this system, it is confused by the defective onboard NIC and unable to use the 3COM NIC. Attempting to start networking generates a continous stream of eth0 and eth1 reset messages on the console that renders the system unusable.
-* ASrock 775Twins-HDTV with a Pentium D 810 (533 MGz FSB/2600GHz core -- information no longer present on intel's site). Doesn't boot.
diff --git a/microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn b/microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn
deleted file mode 100644
index 2b65956a..00000000
--- a/microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn
+++ /dev/null
@@ -1,33 +0,0 @@
-[[!meta copyright="Copyright © 2007, 2008, 2011 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]]."]]"""]]
-
-[[!tag open_issue_documentation]]
-
-Further information may still be found on
-<http://www.nongnu.org/thug/gnumach_hardware.html>
-and could perhaps be incorporated into that page.
---[[tschwinge]]
-
-
-# SATA
-
-IRC, freenode, +hurd, 2011-07-24
-
-    <braunr> youpi: concerning the ide compatibility problem, it seems some
-      bioses provide several modes
-    <braunr> youpi: "legacy ide" and "native ide"
-    <braunr> i don't know what native ide really means, but when debugging ide
-      probing in gnumach, it just looks like there is nothing to detect
-    <braunr> and even in this mode, linux uses the ahci driver
-    <youpi> apparently native means it still uses the IDE protocol, but
-      possibly with other IRQs
-    <youpi> i.e. you need a PCI driver to handle that
-    <braunr> ok
diff --git a/microkernel/mach/gnumach/memory_management.mdwn b/microkernel/mach/gnumach/memory_management.mdwn
deleted file mode 100644
index ca2f42c4..00000000
--- a/microkernel/mach/gnumach/memory_management.mdwn
+++ /dev/null
@@ -1,104 +0,0 @@
-[[!meta copyright="Copyright © 2011 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]]."]]"""]]
-
-[[!tag open_issue_documentation]]
-
-IRC, freenode, #hurd, 2011-02-15
-
-    <braunr> etenil: originally, mach had its own virtual space (the kernel
-      space)
-    <braunr> etenil: in order to use linux 2.0 drivers, it now directly maps
-      physical memory, as linux does
-    <braunr> etenil: but there is nothing similar to kmap() or vmalloc() in
-      mach, so the kernel is limited to its 1 GiB
-    <braunr> (3 GiB userspace / 1 GiB kernelspace)
-    <braunr> that's the short version, there is a vmalloc() in mach, but this
-      trick made it behave almost like a kmalloc()
-    <antrik> braunr: the direct mapping is *only* for the benefit of Linux
-      drivers?...
-    <braunr> also, the configuration of segments limits the kernel space
-    <braunr> antrik: i'm not sure, as i said, this is the short version
-    <braunr> antrik: but there is a paper which describes the integration of
-      those drivers in mach
-    <etenil> you mean the linux 2.0 drivers?
-    <antrik> braunr: I read it once, but I don't remember anything about the
-      physical mapping in there...
-    <antrik> etenil: well, originally it was 1.3, but essentially that's the
-      same...
-    <braunr> i don't see any other reason why there would be a direct mapping
-    <braunr> except for performance (because you can use larger - even very
-      lage - pages without resetting the mmu often thanks to global pages, but
-      that didn't exist at the time)
-
-IRC, freenode, #hurd, 2011-02-15
-
-    <antrik> however, the kernel won't work in 64 bit mode without some changes
-      to physical memory management
-    <braunr> and mmu management
-    <braunr> (but maybe that's what you meant by physical memory)
-
-IRC, freenode, #hurd, 2011-02-16
-
-    <braunr> antrik: youpi added it for xen, yes
-    <braunr> antrik: but you're right, since mach uses a direct mapped kernel
-      space, the true problem is the lack of linux-like highmem support
-    <braunr> which isn't required if the kernel space is really virtual
-
-
----
-
-IRC, freenode, #hurd, 2011-06-09
-
-    <braunr> btw, how can gnumach use 1 GiB of RAM ? did you lower the
-      user/kernel boundary address ?
-    <youpi> I did
-    <braunr> 2G ?
-    <youpi> yes
-    <braunr> ok
-    <youpi> it doesn't make so much sense to let processes have 3G addressing
-      space when there can't be more that 1G physical memory
-    <braunr> that's sad for an operating system which does most things by
-      mapping memory eh
-    <youpi> well, if a process wants to map crazy things, 3G may be tight
-      already
-    <youpi> e.g. ext2fs
-    <braunr> yes
-    <youpi> so there's little point in supporting them
-    <braunr> we need hurd/amd64
-    <youpi> and there's quite some benefit in shrinking them to 2G
-    <youpi> yes
-    <youpi> actually even 2G may become a bit tight
-    <youpi> webkit linking needs about 1.5-2GiB
-    <youpi> things become really crazy
-    <braunr> wow
-    <braunr> i remember the linux support for 4G/4G split when there was enough
-      RAM to fill the kernel space with struct page entries
-
-
-IRC, freenode, #hurd, 2011-11-12
-
-    <youpi> well, the Hurd doesn't "artificially" limits itself to 1.5GiB
-      memory
-    <youpi> i386 has only 4GiB addressing space
-    <youpi> we currently chose 2GiB for the kernel and 2GiB for the userspace
-    <youpi> since kernel needs some mappings, that leaves only 1.5GiB usable
-      physical memory
-    <sea4ever`> Hm? 2GiB for kernel, 2GiB for userspace, 500MiB are used for
-      what?
-    <youpi> for mappings
-    <youpi> such as device iomap
-    <youpi> contiguous buffer allocation
-    <youpi> and such things
-    <sea4ever`> Ah, ok. You map things in kernel space into user space then.
-    <youpi> linux does the same without the "bigmem" support
-    <youpi> no, just in kernel space
-    <youpi> kernel space is what determines how much physical memory you can
-      address
-    <youpi> unless using the linux-said-awful "bigmem" support
diff --git a/microkernel/mach/gnumach/ports.mdwn b/microkernel/mach/gnumach/ports.mdwn
deleted file mode 100644
index f114460c..00000000
--- a/microkernel/mach/gnumach/ports.mdwn
+++ /dev/null
@@ -1,24 +0,0 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2011 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]]."]]"""]]
-
-  * x86.  This is the main port.
-
-      * [[Xen]]
-
-  * [PowerPC](http://www.pjbruin.dds.nl/hurd/).  Is not in a usable state.
-
-  * Alpha: [project I](http://savannah.nongnu.org/projects/hurd-alpha), and
-    [project II](http://savannah.nongnu.org/projects/gnumach-alpha).  Was once
-    started, but isn't in a usable state either.
-
-  * MIPS.  Status completely unknown.
-
-  * [[open_issues/Mach_on_Top_of_POSIX]].  Status unknown.
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
deleted file mode 100644
index 5fe73c06..00000000
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ /dev/null
@@ -1,127 +0,0 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2011 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]]."]]"""]]
-
-[[!toc]]
-
-
-# Xen dom0, hypervisor
-
-/!\ 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.
-
-- Copy `gnumach-xen-pae` and `hurd-modules` to your dom0 /boot. If you still have a non-PAE hypervisor, use `gnumach-xen-nonpae` instead.
-- Copy `hurd` into `/etc/xen`, edit it for fixing access to your hurd / and swap
-
-# GNU/Hurd system
-
-/!\ You need an already installed [[GNU/Hurd_system|hurd/running]].
-
-If you have a free partition, you can fdisk to type 0x83, create a filesystem using:
-
-    sudo mke2fs -b 4096 -I 128 -o hurd /dev/sda4 
-
-Replace /dev/sda4 with your partition. Install and use crosshurd to setup a GNU/Hurd system on this partition.
-
-
-# /etc/xen/hurd configuration
-
-Here is a sample /etc/xen/hurd configuration
-
-    kernel = "/boot/gnumach-xen-pae"
-    memory = 256
-    disk = ['phy:sda4,hda,w']
-    extra = "root=device:hd0"
-    vif = [ '' ]
-    ramdisk = "/boot/hurd-modules"
-
-Do not give more than 580MB memory (due to bootstrap limitations, it's not easy
-to map more).
-
-Suggestions about [[networking_configuration]] are available.
-
-If you need stable MAC addresses, use a syntax like `vif = [
-'mac=00:16:3e:XX:XX:XX, bridge=br0' ]`.
-
-
-# Running Hurd with Xen
-
-To run Hurd with Xen, use:
-
-    xm create -c hurd
-
-and gnumach should get started. Proceed with native-install.
-
-    export TERM=mach
-    ./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 a non-PAE gnumach. Either install and boot non-PAE hypervisor and kernel, or rebuilt gnumach in PAE mode.
-
-
-# Building from sources
-
-If you want to generate these images, first get the `gnumach-1-branch-Xen-branch` branch from gnumach CVS.
-Then look for "Ugly" in `kern/bootstrap.c`, how to generate `hurd-modules` is explained there, and you'll have to fix `EXT2FS_SIZE` and `LD_SO_SIZE` by hand.
-Then use
-
-    ./configure --enable-platform=xen
-    make
-
-The current `hurd-modules` was built from the debian packages `hurd 20070606-2` and `libc0.3 2.6.1-1`.
-/!\ This means that when using this image, your GNU/Hurd system also needs to be a glibc version 2.6 or later-based one!
-
-# `pv-grub`
-
-From Xen 4.0 on you can run the GNU Hurd directly using `pv-grub`,
-without the need to [prepare a special bootstrap
-image](http://youpibouh.thefreecat.org/hurd-xen/build_hurd-modules) (like an
-initrd).
-
-Download http://youpibouh.thefreecat.org/hurd-xen/pv-grub.gz into /boot, and use the following for instance:
-
-    kernel = "/boot/pv-grub.gz"
-    memory = 256
-    disk = ['phy:sda4,hda,w']
-    extra = "(hd0,1)/boot/grub/menu.lst"
-    vif = [ '' ]
-
-extra is now the path to the grub config file.
-
-# Partitions
-
-You will need the following notation for the gnumach root= parameter:
-
-root=part:2:device:hd0
-
-to access the second partition of hd0, for instance.
-
-You will also need to use the parted storeio module for the /dev entries, for instance:
-
-settrans -fgap /dev/hd0s1 /hurd/storeio -T typed part:1:device:hd0
-
-# Miscellaneous
-
-[[Internals]].
-
-[[!GNU_Savannah_task 5468]], [[!GNU_Savannah_task 6584]].
-
-
-# Host-side Writeback Caching
-
-Optimization possible as it is with [[QEMU|hurd/running/qemu/discussion]],
-*Host-side Writeback Caching*?
-
-IRC, freenode, #hurd, 2011-06-08
-
-    <braunr> youpi: does xen provide disk caching options ?
-    <youpi> through a blktap, probably
-    <braunr> ok
diff --git a/microkernel/mach/gnumach/ports/xen/discussion.mdwn b/microkernel/mach/gnumach/ports/xen/discussion.mdwn
deleted file mode 100644
index 2980e3b2..00000000
--- a/microkernel/mach/gnumach/ports/xen/discussion.mdwn
+++ /dev/null
@@ -1,14 +0,0 @@
-[[!meta copyright="Copyright © 2011 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]]."]]"""]]
-
-[[!tag open_issue_documentation]]
-
-Stuff from <http://youpibouh.thefreecat.org/hurd-xen> should be merged into
-these pages here.
diff --git a/microkernel/mach/gnumach/ports/xen/internals.mdwn b/microkernel/mach/gnumach/ports/xen/internals.mdwn
deleted file mode 100644
index eae9d9a8..00000000
--- a/microkernel/mach/gnumach/ports/xen/internals.mdwn
+++ /dev/null
@@ -1,14 +0,0 @@
-[[!meta copyright="Copyright © 2008 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]]."]]"""]]
-
-The port does use Xen's para-virtualized interface for device (ide, network,
-etc.) access.
-
-[[Virtualization]].
diff --git a/microkernel/mach/gnumach/ports/xen/networking_configuration.mdwn b/microkernel/mach/gnumach/ports/xen/networking_configuration.mdwn
deleted file mode 100644
index 52e6db87..00000000
--- a/microkernel/mach/gnumach/ports/xen/networking_configuration.mdwn
+++ /dev/null
@@ -1,105 +0,0 @@
-[[!meta copyright="Copyright © 2008 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]]."]]"""]]
-
-[[!toc]]
-
-The Xen dom0 infrastructure provides for a bridged networking setup using shell
-scripts to configure the bridging device properly and attach the domUs' virtual
-interfaces to the bridge.  However, we've [seen
-problems](http://lists.gnu.org/archive/html/bug-hurd/2008-08/msg00023.html)
-when using this approach, so to [solve these
-issues](http://lists.gnu.org/archive/html/bug-hurd/2008-09/msg00071.html),
-instead suggest the following configuration method (to achieve the same thing).
-
-This is for a Debian dom0.
-
-# */etc/network/interfaces*
-
-Comment out everything referencing your physical devices.  Add this:
-
-    auto br0
-    iface br0 inet dhcp
-    	bridge_ports regex (eth|vif).* noregex
-
-... or if you want to do the manual configuration dance:
-
-    auto br0
-    iface br0 inet static
-    	bridge_ports regex (eth|vif).* noregex
-    	address 192.168.10.60
-    	netmask 255.255.255.0
-    	[...]
-
-This needs a version of the `bridge-utils` package more recent than the current
-Debian stable one ([[!debbug 405215]]).  (It's trivial to rebuild the `dpkg` of,
-e.g., the Debian testing one on Debian stable.)
-
-# */etc/xen/xend-config.sxp*
-
-Make sure that only `(network-script network-dummy)` and `(vif-script
-vif-bridge)` are activated and all other `(network-script network-WHATEVER)`,
-respective `(vif-script vif-WHATEVER)` are commented out.
-
-
-# Sample configuration files on Debian Lenny
-
-## /etc/xen/hurd on dom0
-
-    kernel = "/boot/gnumach-xen"
-    memory = 256
-    disk = ['phy:sda5,hda,w']
-    extra = "root=device:hd0"
-    vif = [ 'mac=00:16:3e:00:00:00, bridge=br0' ]
-    ramdisk = "/boot/hurd-modules"
-
-/dev/sda5 is an extended partition. br0 is bridge interface on dom0.
-
-## /etc/xen/xend-config.sxp on dom0
-
-    (network-script 'network-bridge netdev=br0')
-    (dom0-min-mem 196)
-    (dom0-cpus 0)
-    (vncpasswd '')
-
-## /etc/network/interfaces  on dom0
-
-    auto br0
-      iface br0 inet static
-        address 192.168.1.211
-        network 192.168.1.0
-        netmask 255.255.255.0
-        broadcast 192.168.1.255
-        gateway 192.168.1.1
-        bridge_ports eth1
-
-eth1 is the interface that is connected to the Internet on the LAN:
-
-## Doing settrans on domU
-
-    settrans -fgap /servers/socket/2 /hurd/pfinet -i eth0 -a 192.168.1.210 -g 192.168.1.1 -m 255.255.255.0
-
-## /sbin/ifconfig on dom0 
-
-    br0       Link encap:Ethernet  HWaddr 00:19:d1:2e:06:33  
-              inet addr:192.168.1.211  Bcast:192.168.1.255  Mask:255.255.255.0
-              inet6 addr: fe80::219:d1ff:fe2e:633/64 Scope:Link
-              UP BROADCAST RUNNING MULTICAST  MTU:1500  Metric:1
-              RX packets:14187 errors:0 dropped:0 overruns:0 frame:0
-              TX packets:9214 errors:0 dropped:0 overruns:0 carrier:0
-              collisions:0 txqueuelen:0 
-              RX bytes:936563 (914.6 KiB)  TX bytes:746184 (728.6 KiB)
-
-    eth1      Link encap:Ethernet  HWaddr 00:19:d1:2e:06:33  
-              inet6 addr: fe80::219:d1ff:fe2e:633/64 Scope:Link
-              UP BROADCAST RUNNING MULTICAST  MTU:1500  Metric:1
-              RX packets:34339 errors:0 dropped:0 overruns:0 frame:0
-              TX packets:18526 errors:0 dropped:0 overruns:0 carrier:0
-              collisions:0 txqueuelen:1000 
-              RX bytes:3019251 (2.8 MiB)  TX bytes:1453672 (1.3 MiB)
diff --git a/microkernel/mach/gnumach/projects.mdwn b/microkernel/mach/gnumach/projects.mdwn
deleted file mode 100644
index f4ef192a..00000000
--- a/microkernel/mach/gnumach/projects.mdwn
+++ /dev/null
@@ -1,130 +0,0 @@
-[[!meta copyright="Copyright © 2005, 2006, 2007, 2008, 2011 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 is a place to keep track of ideas about things that may be improved
-in GNU Mach, so that it'll evolve to a reliable microkernel for The Hurd, both
-in terms of stability and performance.  If you find anything missing here,
-please feel free to add a entry with a short description.
-
-If you want to help with any of the task (thanks!), please send a mail to
-*[[mailing lists/bug-hurd]]* stating what task you wish to work on,
-so that no duplicate efforts end up.
-
-# Active Branches
-
-  * `gnumach-1-branch` is the main branch.
-
-  * `gnumach-1-branch-Xen-branch` is a branch created by Samuel Thibault for
-    working on a [[ports/Xen]] port.
-
-  * `gnumach-1-branch-gdb-branch` is a branch created by Michael Casadevall for
-    working on [[GDB_stubs]].
-
-
-# Task List
-
-  * [[Clean_up_the_code]]
-
-  * [[Open Issues|tag/open_issue_gnumach]]
-
-  * Update the core architecture and drivers
-
-      * Check what NetBSD, FreeBSD and Linux do with their host specific code
-        (i486, PPC, Sparc, ...).  And if it might be wise to take that and use
-        it in GNU Mach.  There is no need to worry about purely internal API's,
-        but the external ones shouldn't require any major changes.
-
-      * Write a list of all functions provided by the host dependant code in
-        GNU Mach that gets used in the non-host specific code (kernel, IPC and
-        VM).
-
-      * Once we have decided what the new internal API should look like, make a
-        list of the new API and the old one, and try to make things as
-        compatible as possible, but not at the expense of anything.
-
-  * Implement Migrating Threads
-
-      * Migrating Threads (MT) could improve IPC performance and making easier
-        the work of the scheduler.  For more information, check
-        <http://www.usenix.org/publications/library/proceedings/sf94/ford.html>
-
-  * Improve the external pagers interface
-
-      * Implement [[open_issues/performance/io_system/read-ahead]] (huge I/O
-        improvements expected).
-
-      * Making this interface synchronous should improve I/O performance
-        significantly, without (almost) any drawbacks (we also get some
-        advantage from MT's).
-
-      * Implement more paging eviction policies, so they fit better with usual
-        behaviour of the pagers.
-
-      * Implement resource accounting for external pagers.
-
-  * VM
-
-      * Put it on user level (?)
-
-      * Clean up the mess.
-
-      * Provide a fast way to read/write from/to a memory object.
-
-      * Simplify/normalise the code.
-
-  * Simplify the IPC Semantics
-
-      * There are a lot of things in GNU Mach's IPC that we don't need.  Track
-        down those things, and get rid of them without requiring many changes
-        in the Hurd (the changes will affect MiG, but that is OK).
-
-  * Temporary mappings for Client-Server memory transfers
-
-      * Extend Mach's IPC to provide some kind of object which can represent a
-        range of memory that can temporarily be mapped into the servers address
-        space for sending/receiving data.  This would allow us to avoid
-        excessive memory copies.
-
-      * Find a new way to work with unaligned memory.
-
-  * GDB remote debugging support
-
-      * Implement support for GDB debugging via serial line and/or network.
-        Maybe this can be done together with the host-specific work above.
-
-        See [[GDB_stubs]].
-
-  * Make it run as a [[UNIX]]/Linux executable.
-
-      * Neal:
-
-            <neal> here's a fun project: port the mach interface to Linux
-            <neal> (e.g., via kernel modifications)
-            <neal> or, to posix/glibc
-            <neal> (mmap, some minimal ptrace, etc.)
-
-      * From the [Hurd bits at
-        sourceforge.net](http://sourceforge.net/projects/hurd):
-        <http://hurd.cvs.sourceforge.net/hurd/gnumach-otop/>, started by John
-        Tobey.  Last time touched in 2003.  Status completely unknown.
-
-          * [README](http://hurd.cvs.sourceforge.net/hurd/gnumach-otop/README?view=markup)
-
-
-# Wish List
-
-  * Interface for userspace non-critical drivers.
-
-  * Sound Support
-
-  * WLAN support (ipw2200) with WEP/WPA
-
-  * ACPI support
diff --git a/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn b/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn
deleted file mode 100644
index 2a9b4b60..00000000
--- a/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn
+++ /dev/null
@@ -1,123 +0,0 @@
-[[!meta copyright="Copyright © 2005, 2006, 2007, 2008, 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]]."]]"""]]
-
-[[!tag open_issue_gnumach]]
-
-# Restructure the tree in a sane way
-
-Merge `linux/src` and `linux/dev`.  But only if using a sane RCS, so leave it
-as-is for now.  Also, a bunch of (header) files from there may probably be
-discarded.
-
-
-# Remove dead files from the GNU Mach source tree
-
-For *exported* files (via `make install`), the plan is to first stick some
-`#error This file is scheduled for removal.  Write to <bug-hurd@gnu.org> if you
-have a reason to have it kept available.` into them, and then actually remove
-them after some months.
-
-For some of the internal header files (containing function prototypes and the
-like), it might actually be useful to use them.  (And then get rid of a bunch
-of `extern ...` statements in other files.)
-
-This following list was assembled by putting such a `#error ...` line into each
-of the `gnumach-1-branch`'s header files (exported and internal; save the
-`linux/` ones (only internal) for simplicity), and then trying to build GNU
-Mach until this would succeed again (by removing offending `#error ...`s), and
-afterwards using the set of exported files for building a cross toolchain
-(again still removing offending `#error ...`s).  A very crude and imprecise
-method.
-
-So, additionally to the list given below, there may actually be a bunch of
-further files (also exported ones) that serve no real value, but are being
-`#include`d through one way or another.
-
-* [[!source_gnumach-1-branch ddb/db_expr.h]]
-
-    Currently used, but copyright violation?  Rewrite?
-
-* [[!source_gnumach-1-branch ddb/db_print.h]]
-
-    Copyright violation?  Currently unused, but could be used in principle (or
-    be rewritten, to avoid the copyright oddity).
-
-* [[!source_gnumach-1-branch ddb/tr.h]]
-
-    Copyright violation.  Unused.  Remove.
-
-* [[!source_gnumach-1-branch device/dev_master.h]]
-
-    Might be usable for SMP?  Remove otherwise.
-
-* [[!source_gnumach-1-branch i386/i386/kttd_machdep.h]]
-
-* [[!source_gnumach-1-branch i386/i386/sched_param.h]]
-
-* [[!source_gnumach-1-branch i386/include/mach/i386/cthreads.h]]
-
-    Was probably once exported, but is no longer.
-
-* [[!source_gnumach-1-branch i386/include/mach/i386/ioccom.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/device/audio_status.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/device/tape_status.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/alert.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/boot.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/macro_help.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/multiboot.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/profil.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/profilparam.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach/exec/a.out.h]]
-
-    Exported.
-
-* [[!source_gnumach-1-branch include/mach_debug/pc_info.h]]
-
-    Currently not exported, but was probably once meant to be.
-
-* [[!source_gnumach-1-branch kern/act.h]]
-
-* [[!source_gnumach-1-branch kern/refcount.h]]
-
-* [[!source_gnumach-1-branch kern/shuttle.h]]
-
-
-# Remove dead functions, variables, etc. from source files
-
-
-# Rewrite ugly code
diff --git a/microkernel/mach/gnumach/projects/gdb_stubs.mdwn b/microkernel/mach/gnumach/projects/gdb_stubs.mdwn
deleted file mode 100644
index 064da7bf..00000000
--- a/microkernel/mach/gnumach/projects/gdb_stubs.mdwn
+++ /dev/null
@@ -1,19 +0,0 @@
-[[!meta copyright="Copyright © 2008, 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]]."]]"""]]
-
-[[!tag open_issue_gnumach open_issue_gdb]]
-
-  * <http://lists.gnu.org/archive/html/bug-hurd/2008-04/msg00103.html>
-
-  * [ChangeLog.gdb](http://cvs.savannah.gnu.org/viewvc/gnumach/ChangeLog.gdb?root=hurd&view=markup&pathrev=gnumach-1-branch-gdb-branch)
-
-This may be another follow-up project: [*Linux Kernel GDB tracepoint
-module*](http://thread.gmane.org/gmane.comp.gdb.devel/29369), Hui Zhu,
-2010-10-09.
diff --git a/microkernel/mach/gnumach/reference_manual.mdwn b/microkernel/mach/gnumach/reference_manual.mdwn
deleted file mode 100644
index 95d11517..00000000
--- a/microkernel/mach/gnumach/reference_manual.mdwn
+++ /dev/null
@@ -1,26 +0,0 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
-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]]."]]"""]]
-
-*The GNU Mach Reference Manual* documents the architecture, the usage and the
-programming of the GNU Mach microkernel.  At the moment, the manual documents
-the interface completely, but is not very useful as a tutorial or introduction
-into the Mach architecture.
-
-  * [HTML version](http://www.gnu.org/software/hurd/gnumach-doc/index.html)
-    for browsing online,
-  * [PostScript
-    version](http://www.gnu.org/software/hurd/gnumach-doc/mach.ps) [around
-    900KiB],
-  * [gzipped PostScript
-    version](http://www.gnu.org/software/hurd/gnumach-doc/mach.ps.gz)
-    [around 300KiB],
-  * [PDF version](http://www.gnu.org/software/hurd/gnumach-doc/mach.pdf)
-    [around 700KiB].