diff options
Diffstat (limited to 'man/3/0intro')
| -rw-r--r-- | man/3/0intro | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/3/0intro b/man/3/0intro index e379f9af..1057dce1 100644 --- a/man/3/0intro +++ b/man/3/0intro @@ -29,7 +29,7 @@ device. .PP A kernel device driver is a .I server -in the sense of the Inferno File Protocol, Styx (see Section 5), +in the sense of the Inferno File Protocol, 9P (see Section 5), but with the messages implemented by local rather than remote procedure calls. Also, several of the messages |