diff options
| -rw-r--r-- | Mach/BuildingGNUMach.mdwn | 44 |
1 files changed, 38 insertions, 6 deletions
diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn index fb092a0c..1b3298f3 100644 --- a/Mach/BuildingGNUMach.mdwn +++ b/Mach/BuildingGNUMach.mdwn @@ -16,7 +16,7 @@ You can chose between getting the [sources from the developers's RCS](http://www Please see [[Distrib/DebianFAQ]] before using _apt-get source_. -The unpacked source tree is around [TODO]MiB, and the build tree (with all drivers enabled) is around [TODO]MiB. +The unpacked source tree is around 20 MiB, and the build tree (with all drivers enabled) is around 50 MiB. ## <a name="Preparing_for_the_Build"> Preparing for the Build </a> @@ -29,9 +29,11 @@ Building GNU Mach requires the _build-essential_ and _fakeroot_ packages, their ### <a name="_on_non_Debian_systems"> ... on non-Debian systems </a> -[TODO] +Apart from the case that you only want to install GNU Mach's header files (see below), building GNU Mach requires you to have the Mach Interface Generator installed. See [[Mig/BuildingMIG]] about how to do that, then come back here. + +Additionally, building GNU Mach requires a C compiler, a standard C library (with corresponding header files) and your favourite flavor of awk (gawk) and make. -## <a name="Building"> Building </a> +## <a name="Building_and_Installing"> Building and Installing </a> ### <a name="_deb_files"> ... _.deb_ files </a> @@ -43,8 +45,6 @@ Start the build process with $ dpkg-buildpackage -us -uc -b -rfakeroot -### <a name="_TODO_"> [TODO] </a> - [TODO] [[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, e.g. @@ -53,4 +53,36 @@ Start the build process with You can now reboot your computer and enjoy the new kernel. --- [[Main/ThomasSchlesinger]] - 30 Jan 2006 +### <a name="_TODO_"> [TODO] </a> + +GNU Mach has to be built in a separate directory: + + $ mkdir gnumach-build + $ cd gnumach-build + +Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure it: + + $ [...]/gnumach-1-branch/configure [TODO] + +Build the kernel image: + + $ make kernel.gz + +[TODO] + +You can then install and use _kernel.gz_. + +### <a name="Installing_only_the_Header_Files"> Installing only the Header Files </a> + +GNU Mach has to be built in a separate directory: + + $ mkdir gnumach-build + $ cd gnumach-build + +Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure it: + + $ [...]/gnumach-1-branch/configure + +Install the header files into e.g. _~/gnu/include/_: + + $ make no_deps=t prefix=~/gnu install-headers |