diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-18 16:44:06 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-18 17:25:58 +0200 |
commit | 1fbfe2b1102476b0c5a91bfd940ac8ad89a6f81b (patch) | |
tree | 99bdbfabac848b5946c883c4d07d4d06617d7109 /microkernel/viengoos | |
parent | 88ce1e5f9fddfe35c5f980ce5c6242b74a3d1527 (diff) |
Simplify some links.
Diffstat (limited to 'microkernel/viengoos')
-rw-r--r-- | microkernel/viengoos/building.mdwn | 2 | ||||
-rw-r--r-- | microkernel/viengoos/documentation.mdwn | 2 | ||||
-rw-r--r-- | microkernel/viengoos/hardware.mdwn | 2 | ||||
-rw-r--r-- | microkernel/viengoos/projects.mdwn | 2 | ||||
-rw-r--r-- | microkernel/viengoos/serial_port.mdwn | 2 |
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 |