diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index c2a361c6bb..a4992d1ce9 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -7599,7 +7599,7 @@ is persistent and the required device nodes are created during the build. - Use devtmps with a Device Manager: + Use devtmpfs with a Device Manager: For this case, the /dev directory is provided by the kernel as an in-memory file system and is automatically populated by the kernel at runtime. @@ -7650,7 +7650,7 @@ -
+
Using <filename>devtmpfs</filename> and a Device Manager @@ -7662,10 +7662,11 @@ USE_DEVFS = "1" With this setting, the resulting /dev - is populated by the kernel using devtmpfs. + directory is populated by the kernel using + devtmpfs. Make sure the corresponding kernel configuration variable CONFIG_DEVTMPFS is set when building - you build a linux kernel. + you build a Linux kernel. diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index acbbab002a..7abad0460a 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml @@ -11477,7 +11477,7 @@ recipes-graphics/xorg-font/font-alias_1.0.3.bb:PR = "${INC_PR}.3" USE_DEVFS - USE_DEVFS[doc] = "Determines if devtmps is used for/dev population." + USE_DEVFS[doc] = "Determines if devtmpfs is used for/dev population."