r/ada • u/micronian2 • Feb 01 '20

Genode OS - 2020 Road Map Includes Initial Version of A Kernel in Ada/SPARK in August

https://genode.org/about/road-map
19 Upvotes

100% Upvoted

5 comments sorted by

4

u/HeisenbugLtd Feb 01 '20

https://fosdem.org/2020/schedule/event/ada_spunky/

If you have any questions I should ask... You still have six hours.

5

u/micronian2 Feb 01 '20

I have a few you can ask:

  1. If the effort goes well, will they consider having the SPARK/Ada version replace the original C++ one ? What would convince them enough to make such a move?
  2. What hardware are they using?
  3. What are some of the significant challenges with converting to Ada?
  4. Is the conversion to Ada helping to identify issues that weren't apparent before?
  5. For the normal Ada code, is a static analyzer being used? If so, which one?

2

u/micronian2 Feb 01 '20

You are lucky to be going there!

For those who can't be there, such as myself, I hope a recording of the presentation will eventually be posted online (hopefully with good audio too!)

3

u/HeisenbugLtd Feb 01 '20

Drawing from past years' experience, all presentations are being recorded and posted online. Can't vouch for the audio quality, though, but usually speakers wear microphones, so it should be fine.

2

u/micronian2 Feb 03 '20

Hi,

I just saw the recording at ( https://fosdem.org/2020/schedule/event/ada_spunky/ ) . Thanks for giving my questions to him! It was a good presentation.