Hmm, they says it's Linux based. I was kinda expecting/hoping for something more similar to BAE's STOP, which is a non-open/proprietary OS that originally sacrificed performance/speed for security.