说明：  marte为用ada语言开发的嵌入式操作系统 ada语言是美国国防部指定的军用语言，用它开发操作系统有独到之处。marte的功能较全面，是一个功能完备的操作系统。具体内容可以登录其主页 http://marte.unican.es/contents.html
(Marte to use ada language development of the embedded operating system ada language is designated by the United States Department of Defense Military language used, it is unique in the development of the operating system. Marte function of a more comprehensive, is a fully functioning operating system. Specific content can be logged its home page http :// marte.unican.es/contents.html)