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