diff options
Diffstat (limited to 'contributing')
| -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.) |