Tip of the day/month/whenever Never mount devfs over /dev – it rather breaks the system until after a forcible reboot!