diff options
| author | Joshua Branson <jbranso@fastmail.com> | 2018-10-31 21:18:59 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-11-02 20:34:37 +0100 |
| commit | 25b1a04051c566d6448b5664b14b43e991d0e634 (patch) | |
| tree | c44d54a7cb9aed073ad85effacf249044efba100 /microkernel | |
| parent | b5c1485ffc6b107f4d29b2d14b1271f1a89a6893 (diff) | |
cgit -> git I added some info on the systemd and Upstart pages. I added some links to other multiserver OSs. some tweaks to the systemd and upstart wiki pages. more info added to the genode OS page. I added a GNU Shepherd page.
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/genode.mdwn | 4 | ||||
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 4 | ||||
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 4 |
3 files changed, 8 insertions, 4 deletions
diff --git a/microkernel/genode.mdwn b/microkernel/genode.mdwn index 66dd6b38..757d20a8 100644 --- a/microkernel/genode.mdwn +++ b/microkernel/genode.mdwn @@ -10,6 +10,10 @@ License|/fdl]]."]]"""]] * [[RPC]] +[[Genode|https://genode.org/]] is an operating system framework with the goal +of creating a general purpose multiserver operating system running on a microkernel. +The source code is dual licensed: AGPLv3 and a commercial license. + # IRC, freenode, #hurd, 2012-08-02 diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 8a23934b..cf5843ff 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -19,9 +19,9 @@ enabled) is around 50 MiB. ## Getting the Source Code -You can either use the git repository (see <http://git.savannah.gnu.org/cgit/hurd/>), +You can either use the git repository (see <http://git.savannah.gnu.org/git/hurd/>), - $ git clone http://git.savannah.gnu.org/cgit/hurd/gnumach.git/ + $ git clone https://git.savannah.gnu.org/git/hurd/gnumach.git/ ... or get the Debian sources, if you're using Debian. (See [here](http://packages.debian.net/source/unstable/gnumach).) diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index be79b02d..486c461e 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -17,9 +17,9 @@ using a pre-built package, follow these instructions. ## <a name="Getting_the_Source_Code"> Getting the Source Code </a> You can chose between getting the [sources from the developers' -RCS](http://git.savannah.gnu.org/cgit/hurd/): +RCS](https://git.savannah.gnu.org/git/hurd/): - $ git clone http://git.savannah.gnu.org/cgit/hurd/mig.git/ + $ git clone https://git.savannah.gnu.org/git/hurd/mig.git/ ... or (if you are working on a Debian system) get the sources that are used for the [current Debian mig package](http://packages.debian.net/source/unstable/mig): |