From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=3.0 tests=BAYES_50,FROM_2_EMAILS_SHORT,
	PDS_FROM_2_EMAILS autolearn=no autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a0c:b59f:: with SMTP id g31mr24808882qve.28.1614072016586;
        Tue, 23 Feb 2021 01:20:16 -0800 (PST)
X-Received: by 2002:a25:5f02:: with SMTP id t2mr39072906ybb.161.1614072016335;
 Tue, 23 Feb 2021 01:20:16 -0800 (PST)
Path: eternal-september.org!reader02.eternal-september.org!goblin1!goblin.stu.neva.ru!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 23 Feb 2021 01:20:16 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=155.210.105.38; posting-account=SuyozQoAAADXnDELfODTBs7QDv_fdf87
NNTP-Posting-Host: 155.210.105.38
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c3eb6d42-ff5f-40a9-8fe6-ddebcc648735n@googlegroups.com>
Subject: Any Ada in Perseverance?
From: "amo...@unizar.es" <amosteo@unizar.es>
Injection-Date: Tue, 23 Feb 2021 09:20:16 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:61422
List-Id: <comp.lang.ada>

Hi all,

I was listening to a podcast on the recent landing and they mentioned in passing VxWorks for the OS and C for the navigation subsystem... Which "suspiciously" matches the only line in Wikipedia about it:

https://en.wikipedia.org/wiki/Perseverance_(rover)#Design

I have found a few posts/articles but nothing authoritative or detailed. Just curious...