Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

Kernels in other languages

Posted Jan 17, 2008 12:20 UTC (Thu) by ms (subscriber, #41272)
In reply to: Kernels in other languages by tialaramex
Parent article: A kernel security hole

There are 3 kernels in Haskell, in various states of development and/or (dis)repair.

House: http://programatica.cs.pdx.edu/House/
seL4: http://www.ertos.nicta.com.au/research/sel4/
Kinetic: http://www.ninj4.net/kinetic/

I think seL4 is the most active at the moment.

(Log in to post comments)

Posted Jan 17, 2008 12:29 UTC (Thu) by jonth (subscriber, #4008) [Link]

Hardly mainstream, but I have to say I didn't expect to see anything in Haskell. I doff my
cap. Does anyone know how fast these things go?

Kernels in other languages

Posted Jan 17, 2008 15:14 UTC (Thu) by mrfredsmoothie (subscriber, #3100) [Link]

They go to 11.