I always thought someone could try one of these driver-reuse techs with Windows ...

I always thought someone could try one of these driver-reuse techs with Windows drivers. I recently posted two examples elsewhere:

https://www.usenix.org/legacy/events/osdi04/tech/full_papers...

https://os.inf.tu-dresden.de/Studium/KMB/WS2012/06-Drivers.p...

Well, a mix of Windows and Linux drivers where we use Linux whenever it works well enough. Windows when it doesn't. Might also be able to tie that in Windows Embedded to trim as much fat out of the driver VM as possible.