No /dev/devb still
tv@TVSERVER:/dev$ dmesg | grep regis
[ 0.000000] hpet clockevent registered
[ 0.060000] ... generic registers: 2
[ 0.104846] ACPI: bus type PCI registered
[ 0.134097] ACPI: bus type PNP registered
[ 0.135584] ACPI: bus type PNP unregistered
[ 0.144911] TCP: reno registered
[ 0.399309] HugeTLB registered 2 MB page size, pre-allocated 0 pages
[ 0.400400] io scheduler noop registered
[ 0.400402] io scheduler deadline registered
[ 0.400430] io scheduler cfq registered (default)
[ 0.403842] rtc_cmos 00:03: rtc core: registered rtc_cmos as rtc0
[ 0.404024] TCP: cubic registered
[ 0.404336] Key type dns_resolver registered
[ 0.404627] registered taskstats version 1
[ 0.438702] ACPI: bus type USB registered
[ 0.438751] usbcore: registered new interface driver usbfs
[ 0.438765] usbcore: registered new interface driver hub
[ 0.442491] usbcore: registered new device driver usb
[ 0.443561] uhci_hcd 0000:00:1a.0: new USB bus registered, assigned bus number 1
[ 0.444212] uhci_hcd 0000:00:1a.1: new USB bus registered, assigned bus number 2
[ 0.444660] uhci_hcd 0000:00:1a.2: new USB bus registered, assigned bus number 3
[ 0.445062] uhci_hcd 0000:00:1d.0: new USB bus registered, assigned bus number 4
[ 0.445529] uhci_hcd 0000:00:1d.1: new USB bus registered, assigned bus number 5
[ 0.445970] uhci_hcd 0000:00:1d.2: new USB bus registered, assigned bus number 6
[ 0.925136] usbcore: registered new interface driver usbhid
[ 6.184233] ehci-pci 0000:00:1a.7: new USB bus registered, assigned bus number 7
[ 6.344249] ehci-pci 0000:00:1d.7: new USB bus registered, assigned bus number 8
[ 7.035115] Error: Driver 'pcspkr' is already registered, aborting...
[ 7.199360] i915 0000:00:02.0: registered panic notifier
[ 10.699874] FS-Cache: Netfs 'nfs' registered for caching
I have running through the others but doesn't look promising