After eight years of development, the Muen 1.0 project has been released, developing the Separation kernel, the absence of errors in the source code was confirmed using mathematical methods of formal verification of reliability. The kernel is available for the x86_64 architecture and can be used in mission-critical systems that require an increased level of reliability to guarantee that there are no failures. The source texts of the project are written in the Ada language and its verifiable dialect, SPARK 2014. The code is distributed under the GPLv3 license. Learn more about the new release here.