Device information files for HAL