Hi! As the l4ka mailing list also seems to be defunct (though, my email didn't bounce), forwarding the question to the Dresden L4 folks as well as the registrant of the l4ka.org domain:
On Thu, 06 Jun 2013 10:06:02 +0200, Thomas Schwinge <tho...@codesourcery.com> wrote: > 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«) Now the server completely disappeared. > > 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
pgp92PwogwQUK.pgp
Description: PGP signature
