Hacker News new | ask | show | jobs
by nickpsecurity 358 days ago
OKL4, deployed on tons of phones, had the ability to run drivers stand alone or in driver VM's that wrapped them. Other guests could call either. I think Genode uses a similar, L4-based component.

There was also an academic project that combined virtualization with Windows drivers.