open_issues/vdso: New.
[hurd-web.git] / system_call.mdwn
index 197889c..f180a79 100644 (file)
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -14,6 +14,7 @@ kinds of functionality from the operating system kernel.
 A [[microkernel]]-based system typically won't offer a lot of system calls --
 apart from one central one, and that is *send message* -- but instead [[RPC]]s
 will be used instead.
+See [[GNU Mach's system calls|microkernel/mach/gnumach/interface/syscall]].
 
 In the [[GNU Hurd|hurd]], a lot of what is traditionlly considered to be a UNIX
 system call is implemented (primarily by means of [[RPC]]) inside [[glibc]].