/dev/etc/kernel/