* 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