corpus.blog
41554 blogs · 4,450,554 posts Claim your blog
Record · corpus.blog/posts/01a0bb94-249e-7073-8a4c-57869f43d6a3

seL4 Design Principles

microkerneldude.org · published 10 March 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at microkerneldude.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
13
Words captured
3,105

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://ts.data61.csiro.au/publications/nictaabstracts/Heiser_Elphinstone_16.abstract.pml
ts.data61.csiro.au
https://research.csiro.au/tsblog/lockstep-kernel-verification/
research.csiro.au
https://en.wikipedia.org/wiki/L4_microkernel_family
en.wikipedia.org
https://www.cse.unsw.edu.au/~cs9242/19/papers/Liedtke_95.pdf
cse.unsw.edu.au
https://ts.data61.csiro.au/publications/nictaabstracts/Matichuk_MAJKS_15.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/csiroabstracts/Lyons_MAH_18.abstract.pml
ts.data61.csiro.au
https://dl.acm.org/doi/abs/10.1145/1067629.806531
dl.acm.org
https://dl.acm.org/doi/pdf/10.1145/362258.362278
dl.acm.org
https://www.cse.unsw.edu.au/~cs9242/19/papers/Liedtke_93.pdf
cse.unsw.edu.au
http://os.itec.kit.edu/downloads/publ_1997_haertig-ua_ukernel-performance.pdf
os.itec.kit.edu
https://ts.data61.csiro.au/publications/nictaabstracts/Klein_EHACDEEKNSTW_09.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/nictaabstracts/Peters_DEH_15.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/csiroabstracts/Ge_YCH_19.abstract.pml
ts.data61.csiro.au