summaryrefslogtreecommitdiff
path: root/man/3/0intro
diff options
context:
space:
mode:
authorforsyth <forsyth@vitanuova.com>2010-02-05 11:01:55 +0000
committerforsyth <forsyth@vitanuova.com>2010-02-05 11:01:55 +0000
commitaaab9bcca9a6fd14bd8496059b80b984906db6bc (patch)
treee17885b21ac218b0ae9eb3ff3fdcc91e6d9bd1a6 /man/3/0intro
parentcfa39d5adff9be3c5f695c2c28cffb5f93dd4598 (diff)
20100205-1101
Diffstat (limited to 'man/3/0intro')
-rw-r--r--man/3/0intro2
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