Re: <http://l4ka.org/> down?
Thomas Schwinge <[email protected]>
| Newsgroups | gmane.os.hurd.bugs,gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> wrote: > On Wed, 05 Jun 2013 17:10:11 +0200, I wrote: > > On Wed, 5 Jun 2013 17:02:03 +0300, Fotis Koutoulakis <[email protected]> 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
signature.asc
(application/pgp-signature, 489 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJRszKrAAoJEGe3hdm9kOiiCXAH/0ADYwik+6GX0Rf80w8NbJFi kUyV82d9oQtYA8AXDlslwl/Y7zLESvKCCm3Q/x1qftVzNLBvaHYUoOafpOn3ZfZX mlXgmz3SsP5tKdsjGBqrv1G5rSobMd+DsUN2+VmCFaB4sXGyQ2rOGN5Ga3EMr0Rj UHN9VjHXE7TOZOZZy2wv3lsbAp45u1TXcp3C6Mx1P5jlmTYyhEN6kDLk1FipqvK6 fdjcIC+4M1bRfavf6h/d2ApQyZF5u0W0Lr67V+3tYXRCp1oWfqWXHb4XtIMRuyai P8Q+I/XkdQEVBgEq1UdN7VLJrASH8KO311cEMhNhY/ptx89CpsUHrpnKykoPctQ= =5zuB -----END PGP SIGNATURE-----