No hdmi sound without OS reboot? Restart the drivers...
Edit: end july 2015 the problem is now fixed for me with windows 10.
Discussions on software engineering and machine learning
A collection of 1 post
Edit: end july 2015 the problem is now fixed for me with windows 10.