Which /dev manager are you using ? Static /dev, devfs or udev ? How do you get this /dev/hotplug directory ? I don't have it.