> Also, GNU/Hurd seems like an Ada opportunity. It isn't done yet, and
> daemons can be written independently of each other. Is there some piece
> of GNU/Hurd that we can write in Ada? Can we coordinate this with FSF
> and Debian?
Or is there some piece of Linux (or any other popular item) known to be a
little buggy that we could replace with a more robust version--and then
say, "Oh, by the way, the way we (whoever) eliminated the bugs was to
write it in Ada."