The driver GPIB_ENET does not create the /dev/devx devices. We see them only on hosts using the driver for PCI or SBUS.
How to create them? Does first installing PCI or SBUS driver, then remove them (/dev/devx should not be removed) solve the problem?
Normally, those /dev/devx point to an hardware device on the local bus and such device does not exist on the host because we use an GPIB enet box. So, I not convinced this will solve the problem.
Thanks for your answer.