From reading the article it seems it won't be a linux distribution. I also wonder if this will hit the consumer market or if it will just be a replacement for w

From reading the article it seems it won't be a linux distribution. I also wonder if this will hit the consumer market or if it will just be a replacement for within the military. Either way it will be interesting to see if they succeed in making it more secure considering that they don't have technical debt to worry about.