diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2016-06-08 10:34:18 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2016-06-08 10:34:18 +0200 |
| commit | 746526de5f196f8b7e6ba6e0e297fa501b66aa9d (patch) | |
| tree | 37f70d0d95cf53d18b8695914ff94f24f97cc65d /microkernel/mach/deficiencies.mdwn | |
| parent | 2e4e77877cfa3943df1120b1651cbf759e56d4c1 (diff) | |
| download | web-746526de5f196f8b7e6ba6e0e297fa501b66aa9d.tar.gz web-746526de5f196f8b7e6ba6e0e297fa501b66aa9d.tar.bz2 web-746526de5f196f8b7e6ba6e0e297fa501b66aa9d.zip | |
darnassus: apache2, cgit
Diffstat (limited to 'microkernel/mach/deficiencies.mdwn')
| -rw-r--r-- | microkernel/mach/deficiencies.mdwn | 6 |
1 files changed, 3 insertions, 3 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? |