Where does the name Devon come from?

a county whose former names, Defnum or Defena, and Defenascir (the Germanic variant), came from the British Dumnonii, the 'Deep Ones', that is possibly, those who lived in a valley or who engaged in mining. The Old English tribal name was Defnas, from the Celtic Dumnonii, and scīr was added.