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@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@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