corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bb94-249e-7073-8a4c-57869f4f75cc

What does seL4’s license imply?

microkerneldude.org · published 9 December 2019

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
1,116

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.sel4-us.org/summit2019/presentations/1_2_HeiserGernot_seL4ResearchWhatIsNextontheHorizon.pdf
sel4-us.org
https://github.com/seL4/seL4/blob/master/LICENSE_GPLv2.txt
github.com
https://github.com/seL4/camkes-tool/blob/master/LICENSE_BSD2.txt
github.com
https://microkerneldude.wordpress.com/2019/08/06/10-years-sel4-still-the-best-still-getting-better/
microkerneldude.wordpress.com
https://github.com/seL4/seL4/blob/master/include/drivers/timer/arm_generic.h
github.com
https://github.com/seL4/seL4/blob/master/src/drivers/timer/generic_timer.c
github.com
https://github.com/seL4/seL4/blob/master/src/drivers/serial/pl011.c
github.com
https://github.com/seL4/seL4/blob/master/include/arch/arm/arch/machine/gic_common.h
github.com
https://github.com/seL4/seL4/blob/master/include/arch/arm/arch/machine/gic_v2.h
github.com
https://github.com/seL4/seL4/blob/master/src/arch/arm/machine/gic_v2.c
github.com
https://github.com/seL4/seL4/commit/051d32beab6753eb9cc3f61b91467bd612b72408
github.com
https://en.wikipedia.org/wiki/Berkeley_Software_Distribution
en.wikipedia.org
https://en.wikipedia.org/wiki/Darwin_(operating_system
en.wikipedia.org