diff options
| author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-04 18:30:02 -0400 |
|---|---|---|
| committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-04 18:30:02 -0400 |
| commit | ef0baf74357b7db4c094c5103e3d17599f46b6d1 (patch) | |
| tree | 75a201b27b51743caebdeddcc39c7c2c05232835 /microkernel | |
| parent | 12197970c7b01aba6d822321c21f2c97fc602e02 (diff) | |
It's a good idea to backup prev. gnumach.gz
Diffstat (limited to 'microkernel')
| -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. |