diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2014-02-26 23:08:35 +0100 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2014-02-26 23:08:35 +0100 |
commit | dcf0b805773f06ec5fb01cac145ee75dce1cd4d6 (patch) | |
tree | 0ed3cb805754f03c67834e8ac8152d6b805589bc /microkernel | |
parent | da06687275d25430519365402e3be0800d612a68 (diff) |
Fix HTML anchors.
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 |