[HN Gopher] Building certified concurrent OS kernels ___________________________________________________________________ Building certified concurrent OS kernels Author : wh313 Score : 21 points Date : 2022-08-10 17:57 UTC (1 days ago) (HTM) web link (dl.acm.org) (TXT) w3m dump (dl.acm.org) | erichocean wrote: | An older presentation on this at USENIX (2016): | https://www.usenix.org/conference/osdi16/technical-sessions/... | | And here's the project page (at Yale): | https://flint.cs.yale.edu/certikos/ | anonymousDan wrote: | Nice, so this basically overcomes one of the main limitations of | SEL4 etc? ___________________________________________________________________ (page generated 2022-08-11 23:00 UTC)