Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
lsf
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
lsf
16y ago
How much do you want to bet? Of course, the kernel is hackable (just hack the hardware, done). But if you stay with what the claim actually is, not what the press writes about it, we can play. Download kernel and spec from [ http://ertos.ni
2.
▲
by
lsf
16y ago
Here you go: http://ertos.nicta.com.au/software/seL4/ Contains kernel and spec. Free for non-commercial use.