Hi all!
We just finished the Ada Monthly Meetup and here are the topics that were discussed:
- The recording of the presentations given during the Ada Developers Workshop with their slides are now available
- Stemming from (@jgrivera67) J. German Rivera’s talk about HiRTOS and him working the Renode hardware emulation tool, @ohenley did a nice article about getting started with Renode and Ada programs! Check it out!
- @simonjwright created a PR for SVD2Ada for it to support dimensioned register ports!
- @Max has been working on creating an Ada toolchain for the XTENSA architecture. It is now officially part of Alire! Check the forum post for more info.
- A reminder that the Ada Crate of the Year Award is still taking place!
- We had a discussion on whether there should be a proposal for an Ada Devroom for next year’s FOSDEM.
- There will be a forum thread about this topic “shortly”.
- With the “demise” of SIGAda, the proposal of the creation of the Ada Users Society is moving along, which was approved in the General Assembly (GA) of Ada-Europe this past month of June.
- The next GA of Ada-Europe will be taking place in a couple of weeks, the next 26th of September. Remember to ask for the meetup link if you would like to join!
- We had a couple of discussions during the meetup and afterwards regarding some doubts and timeline/availability of the new Ada Users Society.
- A complete working Alire manifest has been created for the WolfSSL library.
- Though it is not in Alire’s index! It still needs some work, but you can already start using it!
- @stcarrez and @Max have been working on Ada-Enet, an embedded network stack written in Ada.
- It is now available in Alire and it has a few STM32 drivers already!
- @Max also has an ethernet stack written in Ada, which has also been added ot Alire
- @simonjwright updated us on the state (and struggles) of the Ada support on the newly released RP 2350 CPU.
- Progress is good and small examples are already running on the chip. Interrupts are still a problem to be solved
- Progress is good and small examples are already running on the chip. Interrupts are still a problem to be solved
- @AJ-Ianozi reminded us about the latest Yet Another Static Site (Generator) and its features, which recently had its 3.1.0 release
That is all that was discussed today!
I forgot to mention the release/update of the toolchains available in Alire (GCC 14 and GNATProve 24) and the new features of GNATProve. So those topics will go to October’s meetup.