diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-12 14:48:57 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-15 22:22:55 +0100 |
| commit | a6d7f00f976cf775093fa97d06178c853c461c05 (patch) | |
| tree | 2d2db6938f803e8c63fbb0ed28091458babea807 /microkernel/mach/gnumach.mdwn | |
| parent | eca458b07ffa8bf15281e8cafdf3e81b8d2a908d (diff) | |
Rename [[microkernel/mach/gnumach/hardwarecompatibilitylist]] to [[.../hardware_compatibility_list]] and add a forwarding from the old page. Change all uses.
Diffstat (limited to 'microkernel/mach/gnumach.mdwn')
| -rw-r--r-- | microkernel/mach/gnumach.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn index 13ab8441..ab35a9de 100644 --- a/microkernel/mach/gnumach.mdwn +++ b/microkernel/mach/gnumach.mdwn @@ -14,7 +14,7 @@ The majority of GNU Mach's [[device_driver]]s are from Linux 2.0. They were added using glue code, i.e., a Linux [[emulation]] layer in Mach. GNU Mach runs on x86 machines. See the -[[hardware_compatibility_list|hardwarecompatibilitylist]] and information about +[[hardware_compatibility_list]] and information about [[ports]] to other architectures. |