From: Kay-Uwe Genz <kug1977@web.de>
Subject: Genode OS Framework 19.05 goes SPARK
Date: Mon, 17 Jun 2019 03:43:40 -0700 (PDT)
Date: 2019-06-17T03:43:40-07:00 [thread overview]
Message-ID: <ddc80169-7473-487e-aeaf-b0e9c8da8017@googlegroups.com> (raw)
Hi,
you might be interested to see, that Genode OS Framework 19.05 is intergrating
Ada/SPARK runtime and SPARK-based cryptography
Spunky: A kernel using Ada - Part 1: RPC
For me these news were new. https://www.osnews.com/story/130141/ada-spark-on-genode/
Kind regards,
Kay-Uwe
next reply other threads:[~2019-06-17 10:43 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-17 10:43 Kay-Uwe Genz [this message]
2019-06-18 10:09 ` Genode OS Framework 19.05 goes SPARK Anonyme !
2019-06-19 14:30 ` Kay-Uwe Genz
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox