diff options
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 7 |
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. |