• Mach's concepts.

  • Meet Mach by James Scott, a summary of Mach's history and main concepts.

  • The GNU Mach Reference Manual.

  • M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young, Mach: A New Kernel Foundation for UNIX Development, USENIX Conference Proceedings, July 1986. Paper [pdf].

  • R. Rashid, A. Tevanian, M. Young, D. Golub, and R. Baron, Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures, 2nd ACM Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 1987. Paper [pdf], presentation [ppt].

  • Mach 3 Kernel Principles. Open Software Foundation and Carnegie Mellon University. Keith Loepere. NORMA-MK12: July 15, 1992. Book [ps (HTTP)], [ps (FTP)].

  • Mach 3 Kernel Interfaces. Open Software Foundation and Carnegie Mellon University. Keith Loepere, Editor. NORMA-MK12: July 15, 1992. Book [ps (HTTP)], [ps (FTP)].

  • Mach 3 Server Writer’s Guide. Open Software Foundation and Carnegie Mellon University. Keith Loepere, Editor. NORMA-MK12, user15: July 15, 1992. Book [ps (HTTP)], [ps (FTP)].

  • Mach 3 Server Writer’s Interfaces. Open Software Foundation and Carnegie Mellon University. Keith Loepere, Editor. NORMA-MK12, user15: July 15, 1992. Book [ps (HTTP)], [ps (FTP)].

  • The Unofficial GNU Mach IPC beginner's guide, an easy introduction to Inter Process Comunication in the Mach microkernel by Manuel Pavón Valderrama.

  • Mach IPC without MIG, an exercise by Neal Walfield to understand Mach IPC at one of its lowest application levels.

  • Porting and Modifying the Mach 3.0 Microkernel

  • An IO System for Mach

  • A Programmers' Guide to Mach System Call

IRC, freenode, #hurd, 2013-09-15

<teythoon> braunr: btw, are there multiple kernel threads in gnumach?
<teythoon> and is it safe to do a synchronous rpc call to a userspace
  server?
<braunr> teythoon: there are yes, but few
<braunr> teythoon: the main (perhaps only) kernel thread is the page daemon
<braunr> and no, it's not safe to do synchronous calls to userspace
<braunr> except to the default pager