Update: Controller devices rule should no longer attempt to mount /dev.

diff --git a/level_3/controller/data/settings/rules/boot/devices.rule b/level_3/controller/data/settings/rules/boot/devices.rule
index 6dee78a150044cac3996ea84aea76433a1129890..4198a907a7a152ab759baa894f487b668bdf20f7 100644 (file)
--- a/level_3/controller/data/settings/rules/boot/devices.rule
+++ b/level_3/controller/data/settings/rules/boot/devices.rule
@@ -8,8 +8,9 @@ setting:
 
   on start need boot root
 
-command:
-  start mount /dev
+# Newer kernels automount a devpts filesystem on /dev, so this may not be needed.
+#command:
+#  start mount /dev
 
 script:
   start {