设备驱动程序作为一种特殊的文件存放在___中，在需要时由操作系统装入使用。通常，设备与设备驱动程序一并提供给用户。