[lugm.org] Fwd: [seL4] Hyperkernel paper

[Jheengut Pritvi]

Any thoughts for this toy  kernel!!

---------- Forwarded message ----------
From: Jeff Waugh <jdub at bethesignal.org>
Date: 23 January 2018 at 04:38
Subject: [seL4] Hyperkernel paper
To: devel at sel4.systems


Hi seL4 friends,

Any thoughts and/or feelings about the Hyperkernel paper from SOSP'17?

> This paper describes an approach to designing, implementing, and formally verifying the functional correctness of an OS kernel, named Hyperkernel, with a high degree of proof automation and low proof burden.


https://homes.cs.washington.edu/~helgi/papers/hyperkernel.pdf

Thanks,
Jeff

_______________________________________________
Devel mailing list
Devel at sel4.systems
https://sel4.systems/lists/listinfo/devel