[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)