summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach/building.mdwn7
1 files changed, 4 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 0a9e328c..ecaae7f8 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -95,6 +95,7 @@ Optionally run the (tiny) test suite:
$ make check
-The resulting kernel binary can now be moved into place
-(just copy `gnumach.gz`, typically to `/boot/gnumach.gz`),
-so you can boot your system with the new kernel.
+The resulting kernel binary can now be moved into place (just copy
+`gnumach.gz`, typically to `/boot/gnumach.gz`), so you can boot your system
+with the new kernel. It is a good idea to make a backup of the previously
+installed binary, in case you need to recover.