Hi all, I'm trying to mount the kernel directory /kern. I've added the folloing entry in my /etc/fstab: kern /kern kernfs rw 0 0 but when I run mount -a it displays the following error message: mount: exec mount_kernfs not found in /sbin:/usr/sbin: No such file or directory How can I solve this problem? Thanks for now! -- João Salvatti