Well, as long as the hardware underneath it also enables the construction of a s... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		marcosdumay 8 months ago \| parent \| context \| favorite \| on: The SeL4 Microkernel: An Introduction [pdf] Well, as long as the hardware underneath it also enables the construction of a secure system. I don't think we have any such option right now.

snvzz 8 months ago [–]

An example of this is timing side channels.

Originating in an effort within seL4[0], there's ongoing work[1] in RISC-V to resolve this.

0. https://sel4.systems//Foundation/Summit/2022/slides/d1_11_fe...

1. https://lf-riscv.atlassian.net/browse/RVS-3569

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact