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.
-- Fotis 'NlightNFotis' Koutoulakis - "Non semper aestas erit; venit hiems."
mkernelconstructionurl.patch
Description: Binary data
