diff options
Diffstat (limited to 'microkernel/mach/gnumach/building.mdwn')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 3d62c3f0..e7135005 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -1,3 +1,6 @@ +Additional to the following text, a further [[example]] has be posted. + + # <a name="Building_GNUMach_GNU_Mach_from_S"> </a> Building [[GNUMach]] from Source If you want to build the [[GNUMach]] kernel yourself instead of just using a pre-built binary, follow these instructions. |