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/mach | |
| parent | da06687275d25430519365402e3be0800d612a68 (diff) | |
Fix HTML anchors.
Diffstat (limited to 'microkernel/mach')
| -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 |