<http://l4ka.org/> down? (was: Fixed dead link on hurd-web)

[Thomas Schwinge]

Hi!

On Wed, 05 Jun 2013 17:10:11 +0200, I wrote:
> On Wed, 5 Jun 2013 17:02:03 +0300, Fotis Koutoulakis 
> <fotis.koutoulakis@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

pgpqusZbHLGWs.pgp
Description: PGP signature