summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2026-08-23 17:12:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2026-08-23 17:12:07 +0200
commitef57b972ccdca085ddcf65b623f1dd4abc90f327 (patch)
tree475fa07708b5a7bc0f0877cfcd3296420e8fd255
parenteae163832485b34790e6956202a1b1516d87b98b (diff)
note the licences of hurd/mach/mig
-rw-r--r--hurd.mdwn3
-rw-r--r--microkernel/mach.mdwn6
-rw-r--r--microkernel/mach/mig.mdwn3
3 files changed, 12 insertions, 0 deletions
diff --git a/hurd.mdwn b/hurd.mdwn
index 35e6ea84..a572246d 100644
--- a/hurd.mdwn
+++ b/hurd.mdwn
@@ -13,6 +13,9 @@ The GNU Hurd is under active development. Because of that, there is no
[[Git|source_repositories]]. The latest release is [[GNU Hurd
0.9|news/2016-12-18-releases]].
+The translators of the GNU Hurd are shipped under the General Public License,
+either version 2, or (at your option) any later version.
+
Although it is possible to bootstrap the GNU/Hurd system from the sources by
cross-compiling and installing the system software and the basic applications,
this is a difficult process. It is not recommended that you do this. Instead,
diff --git a/microkernel/mach.mdwn b/microkernel/mach.mdwn
index 3abb548d..6531ead9 100644
--- a/microkernel/mach.mdwn
+++ b/microkernel/mach.mdwn
@@ -13,6 +13,12 @@ License|/fdl]]."]]"""]]
Mach is a so-called first generation [[microkernel]]. Originally developed by Carnegie Mellon University (CMU) from 1985 to 1994, which was then forked and carried from 1996 onward by GNU. It is the
microkernel currently used by the [[Hurd]].
+GNU Mach is mostly shipped under a BSD/MIT license, some parts are shipped under
+the General Public License, either version 2, or (at your option) any later
+version.
+The Linux drivers part is shipped under the General Public License version 2,
+but that can be disabled easily at compile time.
+
* [[Concepts]]
* [[Deficiencies]]
* [[Documentation]]
diff --git a/microkernel/mach/mig.mdwn b/microkernel/mach/mig.mdwn
index f8046cb2..f071192f 100644
--- a/microkernel/mach/mig.mdwn
+++ b/microkernel/mach/mig.mdwn
@@ -27,6 +27,9 @@ and how to be passed.
It has its problems with
[[structured_data|open_issues/mig_portable_rpc_declarations]], however.
+GNU Mig is mostly shipped under a BSD/MIT license, some parts are shipped under
+the General Public License, either version 2, or (at your option) any later
+version.
* [[Documentation]]