summaryrefslogtreecommitdiff
path: root/microkernel
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 /microkernel
parenteae163832485b34790e6956202a1b1516d87b98b (diff)
note the licences of hurd/mach/mig
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach.mdwn6
-rw-r--r--microkernel/mach/mig.mdwn3
2 files changed, 9 insertions, 0 deletions
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]]