diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-20 09:44:45 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-20 09:44:45 +0200 |
| commit | 390bfea46950c9685f3b14eab971d955defae8da (patch) | |
| tree | d69c545febdb36d660cf555c1c48340bf4a1ea7d /open_issues/vdso.mdwn | |
| parent | 1e7db9d5526aec85b8fdae3beea05782d25e3df4 (diff) | |
Fix broken links to microkernel/mach/gnumach/interface/device/time.
Diffstat (limited to 'open_issues/vdso.mdwn')
| -rw-r--r-- | open_issues/vdso.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/open_issues/vdso.mdwn b/open_issues/vdso.mdwn index 2b2d2805..76c43aa8 100644 --- a/open_issues/vdso.mdwn +++ b/open_issues/vdso.mdwn @@ -35,7 +35,7 @@ Having vDSO code might be useful for: * `mach_*_self`: `mach_host_self`, `mach_task_self`, `mach_thread_self`? - * [[mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]] + * [[mapped-time_interface|microkernel/mach/gnumach/interface/device/time]] Every application can then use that via the regular `gettimeofday`/`clock_gettime` and similar calls instead of using the |