This message was posted on behalf of Intel Corporation
Thank you for contacting Intel® technical support. I will be more than happy to help you.
I understand that you want to get information about an NSA Class A1 operating system with a secure kernel.
To better assist you with your request, please let me know what is the product related to your request, and what is its model number.