diff options
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r-- | documentation/dev-manual/device-manager.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/documentation/dev-manual/device-manager.rst b/documentation/dev-manual/device-manager.rst index 0343d19b9c..49fc785fec 100644 --- a/documentation/dev-manual/device-manager.rst +++ b/documentation/dev-manual/device-manager.rst | |||
@@ -60,10 +60,10 @@ kernel. | |||
60 | All devices created by ``devtmpfs`` will be owned by ``root`` and have | 60 | All devices created by ``devtmpfs`` will be owned by ``root`` and have |
61 | permissions ``0600``. | 61 | permissions ``0600``. |
62 | 62 | ||
63 | To have more control over the device nodes, you can use a device manager | 63 | To have more control over the device nodes, you can use a device manager like |
64 | like ``udev`` or ``busybox-mdev``. You choose the device manager by | 64 | ``udev`` or ``busybox-mdev``. You choose the device manager by defining the |
65 | defining the ``VIRTUAL-RUNTIME_dev_manager`` variable in your machine or | 65 | :term:`VIRTUAL-RUNTIME_dev_manager <VIRTUAL-RUNTIME>` variable in your machine |
66 | distro configuration file. Alternatively, you can set this variable in | 66 | or distro configuration file. Alternatively, you can set this variable in |
67 | your ``local.conf`` configuration file:: | 67 | your ``local.conf`` configuration file:: |
68 | 68 | ||
69 | VIRTUAL-RUNTIME_dev_manager = "udev" | 69 | VIRTUAL-RUNTIME_dev_manager = "udev" |