It apparently has better foundations (microkernel capability-based) than Linux/Android but whether such a comparatively new OS is resilient to compromise needs much more independent research that's true.

Android is not really proprietary. It was open source once a while ago at least.