Re: What is the standard microkernel?

Cut Hour <[email protected]> Fri, 20 Jan 2023 15:37:10 +0900
Newsgroups gmane.os.hurd.l4
Message-ID <[email protected]>
Somebody?


Or does this topic have nothing to do with Hurd or Mach?
Then how about httpd directly on GNU Mach?
This is a good theme to work on and makes a good pitch.