<http://l4ka.org/> down?

Thomas Schwinge thomas at codesourcery.com
Sat Jun 8 15:33:30 CEST 2013


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 <thomas at 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.koutoulakis at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 489 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130608/bc14b4ed/attachment.sig>


More information about the l4-hackers mailing list