summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-06-09 02:06:59 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-06-09 02:06:59 +0200
commitaef463c050add77d72259c5c9b630adbfb0409bb (patch)
tree76e598c2ad57db9704e9d3e764add53e84c9b1c6 /microkernel/mach
parentaf4e2bc8f1b5c450b22c19ff8e06ded02ef08cba (diff)
parent0d9f8a5a6246924c5ac6f79cedd507b74477f06e (diff)
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/web
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/deficiencies.mdwn6
-rw-r--r--microkernel/mach/gnumach/projects.mdwn2
-rw-r--r--microkernel/mach/gnumach/projects/clean_up_the_code.mdwn6
-rw-r--r--microkernel/mach/gnumach/projects/mach_5.mdwn3
4 files changed, 8 insertions, 9 deletions
diff --git a/microkernel/mach/deficiencies.mdwn b/microkernel/mach/deficiencies.mdwn
index 8242e0bd..0c342e20 100644
--- a/microkernel/mach/deficiencies.mdwn
+++ b/microkernel/mach/deficiencies.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2012, 2013, 2014 Free Software Foundation,
+[[!meta copyright="Copyright © 2012, 2013, 2014, 2016 Free Software Foundation,
Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -955,7 +955,7 @@ and Rump Kernels*.
<braunr> that's one goal of the project
<braunr> you can't achieve performance and scalability without the
appropriate techniques
- <braunr> see http://git.sceen.net/rbraun/librbraun.git/blob/HEAD:/rdxtree.c
+ <braunr> see https://git.sceen.net/rbraun/librbraun.git/plain/rdxtree.c
for the existing userspace implementation
<arnuld> in kern/work.c I see one TODO "allocate numeric IDs to better
identify worker threads"
@@ -2396,7 +2396,7 @@ and Rump Kernels*.
## IRC, freenode, #hurd, 2013-09-28
- <rah> braunr: http://git.sceen.net/rbraun/x15.git/blob/HEAD:/README
+ <rah> braunr: https://git.sceen.net/rbraun/x15.git/plain/README
<rah> "X15 is a free microkernel."
<rah> braunr: what distinguishes it from existing microkernels?
diff --git a/microkernel/mach/gnumach/projects.mdwn b/microkernel/mach/gnumach/projects.mdwn
index 62903fbe..d800cfc3 100644
--- a/microkernel/mach/gnumach/projects.mdwn
+++ b/microkernel/mach/gnumach/projects.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2005, 2006, 2007, 2008, 2011 Free Software
+[[!meta copyright="Copyright © 2005, 2006, 2007, 2008, 2011, 2014 Free Software
Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
diff --git a/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn b/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn
index 0ca6d91e..b7fc934f 100644
--- a/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn
+++ b/microkernel/mach/gnumach/projects/clean_up_the_code.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2005, 2006, 2007, 2008, 2010, 2012, 2013, 2014
-Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2005, 2006, 2007, 2008, 2010, 2012, 2013, 2014,
+2016 Free Software Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -167,7 +167,7 @@ further files (also exported ones) that serve no real value, but are being
<teythoon> and fix kmem_cache_error to use kmem_warn near the top of the
function
<braunr> teythoon: i suggest you use the x15 variant as a reference
- (http://git.sceen.net/rbraun/x15.git/blob/HEAD:/kern/kmem.c)
+ (https://git.sceen.net/rbraun/x15.git/plain/kern/kmem.c)
<teythoon> right
diff --git a/microkernel/mach/gnumach/projects/mach_5.mdwn b/microkernel/mach/gnumach/projects/mach_5.mdwn
index 73aaef99..a4236ea5 100644
--- a/microkernel/mach/gnumach/projects/mach_5.mdwn
+++ b/microkernel/mach/gnumach/projects/mach_5.mdwn
@@ -1,5 +1,4 @@
-[[!meta copyright="Copyright © 2014
-Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2014, 2016 Free Software Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this