From 2bf32ffa3a77f22c467e18b0244bfc96df0da7bd Mon Sep 17 00:00:00 2001
From: Xi Ruoyao <xry111@xry111.site>
Date: Sat, 1 Oct 2022 15:27:19 +0800
Subject: [PATCH] kernfs: "device nodes" are in /dev, not "devices"

You cannot throw a NVIDIA GTX 690 into /dev :).
---
 chapter07/kernfs.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapter07/kernfs.xml b/chapter07/kernfs.xml
index 4a1cac179..3e96bee5e 100644
--- a/chapter07/kernfs.xml
+++ b/chapter07/kernfs.xml
@@ -33,7 +33,7 @@
       mounts the <systemitem class="filesystem">devtmpfs</systemitem>
       filesystem on the
       <filename class="directory">/dev</filename> directory; the kernel
-      creates device on that virtual filesystem during the boot process
+      creates device nodes on that virtual filesystem during the boot process
       or when a device is first detected or accessed. The udev daemon may
       change the owner or permission of the device nodes created by the
       kernel, or create new device nodes or symlinks to ease the work of