summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 00:52:25 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 00:52:30 +0200
commit257b22c265dbcaa18535b83719d1fab8a0eb2afd (patch)
treec1dc1d87f3dc63220e1cb84509f5c42eaab089d7 /microkernel/mach
parent45c29e1104089fe61bc04d6fd68b4b415dfccfc3 (diff)
Mention the onlyup build profile for gnumach
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach/building.mdwn8
1 files changed, 6 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index e8236a83..432757dc 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -45,13 +45,17 @@ and some additional dependencies specified by the gnumach source package:
Start the build process with
- $ dpkg-buildpackage -us -uc -b -rfakeroot
+ $ dpkg-buildpackage -us -uc -b
+
+But to get it built faster, you probably want to only build the most common uniprocessor variant:
+
+ $ dpkg-buildpackage -us -uc -b -Ppkg.gnumach.onlyup
[[GNU_Mach|gnumach]] is now building. To use the new kernel, you must install the
resulting `.deb` package which is located one directory above the build
directory and has a similar name as the build directory:
- # dpkg -i ../gnumach_XXXXXXXX-X_hurd-i386.deb
+ # dpkg -i ../gnumach-image-1.8-486_*_hurd-i386.deb
You can now reboot your computer and enjoy the new kernel.