diff --git a/docs/src/interface.tex b/docs/src/interface.tex index f9e3efc907..f06313a20c 100644 --- a/docs/src/interface.tex +++ b/docs/src/interface.tex @@ -409,7 +409,7 @@ two domains is used to pass notification that data is outstanding. This separation of notification from data transfer allows message batching, and results in very efficient device access. -Even channels are used extensively in device virtualization; each +Event channels are used extensively in device virtualization; each domain has a number of end-points or \emph{ports} each of which may be bound to one of the following \emph{event sources}: \begin{itemize}