News for hackers. Stuff that matters.

A comment on L4 microkernels: The lessons from 20 years of research and deployment. Parent comment

Re:L4 microkernels: The lessons from 20 years of research an... by ynniv on Tuesday September 20, 2016 @11:52AM (#12540454)
sel4 was specified in Haskell and then converted to C
[ Parent | on HN ]
Re:L4 microkernels: The lessons from 20 years of research an... by cmrx64 on Tuesday September 20, 2016 @12:12PM (#12540640)
The "real" specification (if it can be said to exist) is the abstract spec, in Isabelle/HOL.
[ Parent | on HN ]