Windows 10: BSOD code 0x133 caused by hal.dll & ntsokrnl.exe

DISM is used to restore SFC.

Please run sfc/scannow in admin command prompt, reboot and run sfc/scannow again.

 

Gotcha! On it *Biggrin

 

Ran the scan multiple times over a period of 2 days and always it said "Windows Resource Protection did not find any integrity violations."

So I hope that means everything is perfect? However, I've done nothing related to opencl.dll personally, is there anything I need to worry about? And BTW, the restart time is still around 4-5 minutes.

 

DISM restored SFC, SFC restored the opencl.dll corruption.
You don't have to do anything more *Smile

To find out what is taking so long, we need a log of what is happening

• Search "msconfig" (without quotes) and press enter,
• go to the boot tab
• enable 'boot log'
• click ok > apply
• reboot when asked

The boot log file should be located at {windows partition}\Windows\, but I'm not sure exactly what it is called.

 

I apologize for a late reply. Anyway, I enabled Boot log and I'm attaching the same here. Let me know.

 

Unfortunately, it does only state what has and hasn't been loaded.
I can remember that there were times of how long the drivers take to load, but that could be from something else.

Following drivers couldn't load, all are Windows drivers.
This does has influence on the boot time, because it takes more time to find the drivers.
Code: BOOTLOG_NOT_LOADED \SystemRoot\System32\DRIVERS\NDProxy.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\DRIVERS\NDProxy.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\DRIVERS\NDProxy.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\DRIVERS\NDProxy.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\DRIVERS\NDProxy.sys BOOTLOG_NOT_LOADED \SystemRoot\system32\drivers\WdFilter.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\drivers\dxgkrnl.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\drivers\dxgkrnl.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\drivers\dxgkrnl.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\drivers\dxgkrnl.sys BOOTLOG_NOT_LOADED \SystemRoot\System32\drivers\dxgkrnl.sys[/quote]




Diagnostics Test

Clean boot
Please try the following:

• Open taskmanager
  • Go to the tab startup
  • disable everything
• Search msconfig and open it
  • Go to the tab services
  • Check 'hide microsoft services'
  • Uncheck all other services
  • Click apply and click ok
• Reboot if asked

See if the problem persist, if the problem does not persist enable in the startup tab in taskmanager 1 item and in the services tab in msconfig also 1 service, reboot and see if the problem persist. Keep doing this until you find the culprit or there is nothing left.
If the problem still persist, try booting in safe mode and see if the problem still persist