From: Kay-Uwe Genz <kug1977@web.de>
Subject: Re: Genode OS Framework 19.05 goes SPARK
Date: Wed, 19 Jun 2019 07:30:34 -0700 (PDT)
Date: 2019-06-19T07:30:34-07:00 [thread overview]
Message-ID: <fb4d5549-9f3d-4c3c-8075-e7d33f483d54@googlegroups.com> (raw)
In-Reply-To: <c24e1da0-def8-4198-8883-fcec4de72725@googlegroups.com>
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.
prev parent reply other threads:[~2019-06-19 14:30 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
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 message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox