summaryrefslogtreecommitdiff
path: root/microkernel/viengoos
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2009-05-18 16:44:06 +0200
committerThomas Schwinge <tschwinge@gnu.org>2009-05-18 17:25:58 +0200
commit1fbfe2b1102476b0c5a91bfd940ac8ad89a6f81b (patch)
tree99bdbfabac848b5946c883c4d07d4d06617d7109 /microkernel/viengoos
parent88ce1e5f9fddfe35c5f980ce5c6242b74a3d1527 (diff)
Simplify some links.
Diffstat (limited to 'microkernel/viengoos')
-rw-r--r--microkernel/viengoos/building.mdwn2
-rw-r--r--microkernel/viengoos/documentation.mdwn2
-rw-r--r--microkernel/viengoos/hardware.mdwn2
-rw-r--r--microkernel/viengoos/projects.mdwn2
-rw-r--r--microkernel/viengoos/serial_port.mdwn2
5 files changed, 5 insertions, 5 deletions
diff --git a/microkernel/viengoos/building.mdwn b/microkernel/viengoos/building.mdwn
index b34188e2..536c21fa 100644
--- a/microkernel/viengoos/building.mdwn
+++ b/microkernel/viengoos/building.mdwn
@@ -6,7 +6,7 @@ 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]]."]]"""]]
+[[GNU Free Documentation License|/fdl]]."]]"""]]
Check out Viengoos and switch to the viengoos-on-bare-metal branch
(all development is currently done on this branch and it will
diff --git a/microkernel/viengoos/documentation.mdwn b/microkernel/viengoos/documentation.mdwn
index ccce208b..52ff7a48 100644
--- a/microkernel/viengoos/documentation.mdwn
+++ b/microkernel/viengoos/documentation.mdwn
@@ -6,7 +6,7 @@ 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]]."]]"""]]
+[[GNU Free Documentation License|/fdl]]."]]"""]]
The most up-to-date documentation is in the source code itself, see in
particular the header files in the hurd directory.
diff --git a/microkernel/viengoos/hardware.mdwn b/microkernel/viengoos/hardware.mdwn
index e5a2ddf5..aff70604 100644
--- a/microkernel/viengoos/hardware.mdwn
+++ b/microkernel/viengoos/hardware.mdwn
@@ -6,7 +6,7 @@ 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]]."]]"""]]
+[[GNU Free Documentation License|/fdl]]."]]"""]]
I boot over the network using PXE.
diff --git a/microkernel/viengoos/projects.mdwn b/microkernel/viengoos/projects.mdwn
index cbe39607..27dcc3e2 100644
--- a/microkernel/viengoos/projects.mdwn
+++ b/microkernel/viengoos/projects.mdwn
@@ -6,7 +6,7 @@ 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]]."]]"""]]
+[[GNU Free Documentation License|/fdl]]."]]"""]]
[[!tag open_issue_viengoos]]
diff --git a/microkernel/viengoos/serial_port.mdwn b/microkernel/viengoos/serial_port.mdwn
index 01dd4050..14efcb9f 100644
--- a/microkernel/viengoos/serial_port.mdwn
+++ b/microkernel/viengoos/serial_port.mdwn
@@ -6,7 +6,7 @@ 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]]."]]"""]]
+[[GNU Free Documentation License|/fdl]]."]]"""]]
Viengoos can be configured to send output to the serial port (in fact,
this is the only configuration that I use). To talk to the serial