News for hackers. Stuff that matters.

A comment on Linux Kernel Use-After-Free Remote Code Execution Vulnerability. Parent comment

Re:Linux Kernel Use-After-Free Remote Code Execution Vulnera... by AstralStorm on Wednesday October 05, 2016 @03:27AM (#12642104)
In fact, SEL4 has parts in Haskell. The important things are all in Isabelle though and everything is compiled to C and machine code.
[ Parent | on HN ]

There are no comments on this comment yet.