Difference between revisions of "Gnumach"

From Free Software Directory
Jump to: navigation, search
m (version 1.8)
m (Text replacement - "'''Selection from the [https://shop.fsf.org/ FSF shop]''' [https://shop.fsf.org/books/free-freedom-20-richard-stallman Free as in Freedom 2.0, by Richard Stallman] [https://shop.fsf.org/books-docs/introduction-command-line Introdu...)
 
(7 intermediate revisions by one other user not shown)
Line 1: Line 1:
 
{{Entry
 
{{Entry
 
|Name=GNU Mach
 
|Name=GNU Mach
|Short description=Microkernel of the GNU system
+
|Short description=Microkernel of the GNU system.
 
|Full description='''GNU Mach''' is the microkernel of the GNU system. A microkernel provides only a limited functionality, just enough abstraction on top of the hardware to run the rest of the operating system in user space. The GNU Hurd servers and the GNU C library implement the POSIX compatible base of the GNU system on top of the microkernel architecture provided by Mach. Currently, GNU Mach runs on IA32 machines. GNU Mach should, and probably will, be ported to other hardware architectures in the future. Mach was ported to many operating systems in the past.
 
|Full description='''GNU Mach''' is the microkernel of the GNU system. A microkernel provides only a limited functionality, just enough abstraction on top of the hardware to run the rest of the operating system in user space. The GNU Hurd servers and the GNU C library implement the POSIX compatible base of the GNU system on top of the microkernel architecture provided by Mach. Currently, GNU Mach runs on IA32 machines. GNU Mach should, and probably will, be ported to other hardware architectures in the future. Mach was ported to many operating systems in the past.
|Homepage URL=https://www.gnu.org/software/hurd/microkernel/mach/gnumach.html
+
|Homepage URL=https://www.gnu.org/software/gnumach/
|User level=advanced
+
|Is High Priority Project=No
 
|VCS checkout command=git clone git://git.savannah.gnu.org/hurd/gnumach.git
 
|VCS checkout command=git clone git://git.savannah.gnu.org/hurd/gnumach.git
|Computer languages=C
+
|Documentation note=https://www.gnu.org/software/hurd/microkernel/mach/documentation.html
|Documentation note=User reference manual available in HTML, PostScript, and TexInfo formats from http://www.gnu.org/software/hurd/gnumach-docs.html
+
 
|IRC help=irc://irc.freenode.net/hurd
+
 
|IRC development=irc://irc.freenode.net/hurd
+
|Decommissioned or Obsolete=No
|Related projects=Mig, hurd
+
|Donate=https://my.fsf.org/donate/
 +
|Related projects=gnustandards,Mig, hurd
 
|Keywords=kernel,hurd,IA32
 
|Keywords=kernel,hurd,IA32
 
|Version identifier=1.8
 
|Version identifier=1.8
 
|Version date=2016/12/18
 
|Version date=2016/12/18
 
|Version status=stable
 
|Version status=stable
|Version download=https://ftp.gnu.org/gnu/gnumach/gnumach-1.8.tar.gz
+
|Version download=https://ftp.gnu.org/gnu/gnumach/gnumach-1.8.tar.bz2
|Last review by=Genium
+
|Last review by=Bendikker
|Last review date=2016/12/19
+
|Last review date=2019/01/06
 
|Submitted by=Database conversion
 
|Submitted by=Database conversion
|Submitted date=2011-04-01
+
|Submitted date=2011/04/01
|Status=
+
|User level=advanced
 +
|Paid support=https://www.fsf.org/resources/service/
 +
|Accepts cryptocurrency donations=Yes
 +
|OpenPGP signature=https://ftp.gnu.org/gnu/gnumach/gnumach-1.8.tar.bz2.sig
 +
|Test entry=No
 
|Is GNU=Yes
 
|Is GNU=Yes
 
|GNU package identifier=gnumach
 
|GNU package identifier=gnumach
|License verified date=2004-06-08
+
|Decommissioned/Obsolete=No
 
}}
 
}}
 
{{Project license
 
{{Project license
Line 31: Line 36:
 
}}
 
}}
 
{{Person
 
{{Person
|Real name=Thomas Schwinge
+
|Real name=Samuel Thibault
 
|Role=Maintainer
 
|Role=Maintainer
|Email=thomas@codesourcery.com
+
|Email=samuel.thibault@ens-lyon.org
|Resource URL=
+
}}
 +
{{Person
 +
|Real name=Justus Winter
 +
|Role=Maintainer
 +
|Email=teythoon@avior.uberspace.de
 +
}}
 +
{{Person
 +
|Real name=Richard Braun
 +
|Role=Maintainer
 +
|Email=braun@sceen.net
 +
}}
 +
{{Resource
 +
|Resource audience=Debian (Ref) (R)
 +
|Resource URL=https://tracker.debian.org/pkg/mach
 +
}}
 +
{{Resource
 +
|Resource audience=Debian (Ref)
 +
|Resource URL=https://tracker.debian.org/pkg/gnumach
 
}}
 
}}
 
{{Resource
 
{{Resource
|Resource audience=Developer
 
 
|Resource kind=VCS Repository Webview
 
|Resource kind=VCS Repository Webview
|Resource URL=http://git.savannah.gnu.org/cgit/hurd/gnumach.git/
+
|Resource URL=https://git.savannah.gnu.org/cgit/hurd/gnumach.git/
 
}}
 
}}
 
{{Resource
 
{{Resource
|Resource audience=Bug Tracking,Developer
+
|Resource kind=Mailing List
|Resource kind=E-mail
+
|Resource URL=https://lists.gnu.org/mailman/listinfo/gnu-system-discuss/
|Resource URL=mailto:bug-hurd@gnu.org
 
 
}}
 
}}
 
{{Resource
 
{{Resource
|Resource audience=Support
+
|Resource kind=Download
|Resource kind=E-mail
+
|Resource URL=https://ftp.gnu.org/gnu/gnumach/
|Resource URL=mailto:help-hurd@gnu.org
 
 
}}
 
}}
 
{{Software category
 
{{Software category
 
|Interface=command-line
 
|Interface=command-line
 +
|Programming-language=C
 +
|Runs-on=GNU/Hurd
 
|Software-development=small-specific-development-task
 
|Software-development=small-specific-development-task
 
|Use=software-development
 
|Use=software-development
Line 58: Line 79:
 
{{Software prerequisite
 
{{Software prerequisite
 
|Prerequisite kind=Required to build
 
|Prerequisite kind=Required to build
|Prerequisite description=mig
+
|Prerequisite description=[[mig]]
 
}}
 
}}
 
{{Featured}}
 
{{Featured}}

Latest revision as of 16:02, 4 December 2020


[edit]

GNU Mach

https://www.gnu.org/software/gnumach/
Microkernel of the GNU system.

GNU Mach is the microkernel of the GNU system. A microkernel provides only a limited functionality, just enough abstraction on top of the hardware to run the rest of the operating system in user space. The GNU Hurd servers and the GNU C library implement the POSIX compatible base of the GNU system on top of the microkernel architecture provided by Mach. Currently, GNU Mach runs on IA32 machines. GNU Mach should, and probably will, be ported to other hardware architectures in the future. Mach was ported to many operating systems in the past.





Licensing

License

Verified by

Verified on

Notes

Verified by

Janet Casey

Verified on

8 June 2004




Leaders and contributors

Contact(s)Role
Justus Winter Maintainer
Richard Braun Maintainer
Samuel Thibault Maintainer


Resources and communication

AudienceResource typeURI
Downloadhttps://ftp.gnu.org/gnu/gnumach/
Mailing Listhttps://lists.gnu.org/mailman/listinfo/gnu-system-discuss/
VCS Repository Webviewhttps://git.savannah.gnu.org/cgit/hurd/gnumach.git/
Debian (Ref) (R)https://tracker.debian.org/pkg/mach
Debian (Ref)https://tracker.debian.org/pkg/gnumach


Software prerequisites

KindDescription
Required to buildmig




Entry













"Debian (Ref) (R)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Debian (Ref)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.















Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.