| ▲ | MatejKafka 3 hours ago | |||||||
How exactly do you propose to sandbox drivers running in kernel space? Do you even know how drivers work? (I'm guessing no, based on this comment) | ||||||||
| ▲ | toast0 44 minutes ago | parent | next [-] | |||||||
Microsoft has a program to do static and dynamic analysis of drivers... not a sandbox, but better than nothing. Of course, wonky drivers plus wonky hardware can still do bad things (io-mmu can help, a bit). The problems tend to be in the userspace software that's also installed with the driver. Sometimes there's also some pretty derpy stuff where the driver wants to talk to the userspace software but there's no validation/verification and that opens up a big hole. | ||||||||
| ▲ | milesvp 2 hours ago | parent | prev | next [-] | |||||||
There are people working on this problem honestly. The general solution 10 years ago was a micro kernel. Today, I’m not sure. The linux model is starting to look dated, with similar problems elsewhere. Modern hardware design looks less and less like classic textbook design, with all kinds of random chips having direct memory access to memory the cpu uses on some shared bus. Where even things like on board blue tooth chips can become attack vectors on the system. There was a good keynote on the topic 5 years ago By Timothy Roscoe https://www.usenix.org/conference/osdi21/presentation/fri-ke... | ||||||||
| ||||||||
| ▲ | masfuerte 2 hours ago | parent | prev [-] | |||||||
The User-Mode Driver Framework is a thing. Most plug-in devices do not need (or have) a kernel-mode driver. | ||||||||
| ||||||||