It's still based on the linux kernel.