Hi! On Wed, 05 Jun 2013 17:10:11 +0200, I wrote: > On Wed, 5 Jun 2013 17:02:03 +0300, Fotis Koutoulakis > <fotis.koutoula...@gmail.com> wrote: > > On http://www.gnu.org/software/hurd/microkernel.html the link for the > > paper "On Microkernel Construction" appears to be dead. This patch > > replaces the dead link with a working one. > > > [ mkernelconstructionurl.patch: application/octet-stream (as text/x-diff) ] > > 14c14 > > < [[Liedtke]] explains in [On Microkernel > > Construction](http://l4ka.org/publications/paper.php?docid=642) > > [...]
> As it appears that <http://l4ka.org/> generally is down (»Unconfigured > server«) at the moment. I suggest we wait a few days and see whether it > comes back. If not (huh...), I'd like to use a more canonical [...] Any comments from the l4ka list? Is this a permanent outage, or just temporary? Grüße, Thomas
pgphKL1RnZjtd.pgp
Description: PGP signature
