Really? Is it open source, or are we just going by reputation of the developers?

I actually don’t know much about the kernel they use, I was really just trying to emphasise the level of trust you put in your OS.