Codezero was a result of dissatisfaction from earlier L4 kernels and we worked through the engineering details. It is a simpler kernel with a smaller API, linux virtualization interface and source code. We also have better ARM support including multicore and focus only on ARM and Linux. See here for some of the features: http://bit.ly/ifGXxN
Comments
Just curious, in a nutshell, what are the differences between your L4 implementation and OKL4 (or older pistachio kernels)?
Codezero was a result of dissatisfaction from earlier L4 kernels and we worked through the engineering details. It is a simpler kernel with a smaller API, linux virtualization interface and source code. We also have better ARM support including multicore and focus only on ARM and Linux. See here for some of the features: http://bit.ly/ifGXxN