* Genode OS Framework 19.05 goes SPARK
@ 2019-06-17 10:43 Kay-Uwe Genz
2019-06-18 10:09 ` Anonyme !
0 siblings, 1 reply; 3+ messages in thread
From: Kay-Uwe Genz @ 2019-06-17 10:43 UTC (permalink / 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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Genode OS Framework 19.05 goes SPARK
2019-06-17 10:43 Genode OS Framework 19.05 goes SPARK Kay-Uwe Genz
@ 2019-06-18 10:09 ` Anonyme !
2019-06-19 14:30 ` Kay-Uwe Genz
0 siblings, 1 reply; 3+ messages in thread
From: Anonyme ! @ 2019-06-18 10:09 UTC (permalink / raw)
I don't understand why they put c++ on one end and SPARK on the other... Don't they know "normal" Ada includes quite enough "non-static" features ? Or is that compatibility with existing libraries the problem ? Not really said in that article.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Genode OS Framework 19.05 goes SPARK
2019-06-18 10:09 ` Anonyme !
@ 2019-06-19 14:30 ` Kay-Uwe Genz
0 siblings, 0 replies; 3+ messages in thread
From: Kay-Uwe Genz @ 2019-06-19 14:30 UTC (permalink / raw)
Am Dienstag, 18. Juni 2019 12:09:46 UTC+2 schrieb Anonyme !:
> I don't understand why they put c++ on one end and SPARK on the other... Don't they know "normal" Ada includes quite enough "non-static" features ? Or is that compatibility with existing libraries the problem ? Not really said in that article.
Most of the L4 development which is where Genode OS Framwork came from is done in C++ and Ada/SPARK is more a hobbiest project, I guess. The Muen kernel is focussed 100% on Ada/SPARK.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-06-19 14:30 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-06-17 10:43 Genode OS Framework 19.05 goes SPARK Kay-Uwe Genz
2019-06-18 10:09 ` Anonyme !
2019-06-19 14:30 ` Kay-Uwe Genz
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox