Microkernel written in modern C
navy is licensed under the GPL3 License.
The full text of the license can be accessed via this link and is also included in the license file of this software package.
navy is licensed under the GPL3 License.