There is such a thing[0] - at one time I was using both and it made my poor head spin a bit.

[0]: https://jungo.com/windriver/

If it weren't for the title, I would've thought it's one of those hugely-popular-and-sometimes-shady sites with huge collections of Windows device driver downloads.