diff options
| author | Arne Babenhauserheide <arne_bab@web.de> | 2011-10-05 13:25:50 +0200 |
|---|---|---|
| committer | Arne Babenhauserheide <arne_bab@web.de> | 2011-10-05 13:25:50 +0200 |
| commit | 12e9094b539ffc1d25380e9bc0f68b48f86abc43 (patch) | |
| tree | 3ce7362d1acddb95d588a6da0dddb837f39849d7 | |
| parent | 6bac131fd3dee0e3a4c1aa35338ec24d296c2f6d (diff) | |
polish: additional *benefit*
| -rw-r--r-- | contributing/web_pages/news/2011-q2-ps.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contributing/web_pages/news/2011-q2-ps.mdwn b/contributing/web_pages/news/2011-q2-ps.mdwn index eb8c2c6e..0415db8b 100644 --- a/contributing/web_pages/news/2011-q2-ps.mdwn +++ b/contributing/web_pages/news/2011-q2-ps.mdwn @@ -70,7 +70,7 @@ regarding some of the more common misunderstandings. Support for other driver types is also possible with DDE, but it requires some not-trivial work for each additional class of drivers -- so this can take some time to become available. - (An additional provided by DDE is that the device drivers run in userspace -- + (An additional benefit provided by DDE is that the device drivers run in userspace -- unlike the old drivers we were using so far, which are part of the underlying Mach microkernel.) |