[General Info] DriverName=Equipo multiprocesador ACPI DriverDate=30.06.2001 DriverVersion=5.1.2600.0 DriverProducer=MICROSOFT WinVersion=5 BackupDate=07-05-2014 [Files] C:\WINDOWS\inf\hal.inf C:\WINDOWS\system32\SysSetup.dll C:\WINDOWS\system32\hal.dll C:\WINDOWS\system32\IoLogMsg.dll C:\WINDOWS\system32\ntoskrnl.exe C:\WINDOWS\system32\ntkrnlpa.exe