¹⁵The device names are hard-coded in the kernel. Therefore, only the “standard” names are supported and some less common devices may not be recognized. In those cases, only numbers can be used.