default n
help
devtmpfs is a simple, kernel-managed /dev filesystem. The kernel creates
- devices nodes for all registered devices ti simplify boot, but leaves more
+ devices nodes for all registered devices to simplify boot, but leaves more
complex tasks to userspace (e.g. udev).
if KERNEL_DEVTMPFS