marte为用ada语言开发的嵌入式操作系统 ada语言是美国国防部指定的军用语言，用它开发操作系统有独到之处。marte的功能较全面，是一个功能完备的操作系统。具体内容可以登录其主页 http://marte.unican.es/contents.html
