diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/interface.mdwn | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/interface.mdwn b/microkernel/mach/gnumach/interface.mdwn index 6f50a83d..252ddef3 100644 --- a/microkernel/mach/gnumach/interface.mdwn +++ b/microkernel/mach/gnumach/interface.mdwn @@ -18,9 +18,7 @@ show=title]] # Proposed -<a name="futex"> -## Futex -</a> +## <a name="futex">Futex</a> Add a futex kernel trap to GNU Mach. This can be useful for nicer locking |