3 ms·
>What about Spectre? It is an hardware exploit, thus there is only so much one can don in software to prevent it. And there has been mitigations done in softwa
by renox 7y ago
>What about Spectre? It is an hardware exploit, thus there is only so much one can don in software to prevent it.
And there has been mitigations done in software in the Linux kernel (and the web browsers but that's userspace), so my question:
has seL4 being updated with mitigations for Spectre?
Plus for a microkernel, this can be a big performance issue..
- pjmlp 7y agoMitigations never solve 100% the problems, as proven by 40 years of C related security mitigations, including hardware memory tagging. As for seL4, I only have superficial knowledge of the project.