From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Genode implements zero-footprint runtime for Ada and SPARK
Date: Thu, 26 Nov 2009 01:18:56 -0800 (PST)
Date: 2009-11-26T01:18:56-08:00 [thread overview]
Message-ID: <4c5c762a-92ca-4039-aef4-e98a769e9beb@v30g2000yqm.googlegroups.com> (raw)
Today on osnews.com's front page an innocuous phrase caught my
attention so I followed the links...
http://genode.org/documentation/release-notes/9.11#section-19
"At Genode Labs, we are exploring the use of the Spark subset of Ada
to implement security-critical code and use Genode as development
platform. For this reason, we have added support for executing
freestanding Ada code on Genode."
--
Ludovic Brenta.
next reply other threads:[~2009-11-26 9:18 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-26 9:18 Ludovic Brenta [this message]
2009-11-26 10:10 ` Genode implements zero-footprint runtime for Ada and SPARK Peter Hermann
2009-12-23 13:52 ` please ignore Peter Hermann
2009-11-26 14:08 ` Genode implements zero-footprint runtime for Ada and SPARK AdaMagica
2009-11-26 15:45 ` Ludovic Brenta
2009-11-26 15:47 ` nfeske
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox