Alire skill with Zephyr support

General
1

Hi,

If you are into LLM driven development and like embedded systems, AdaCore just updated the Alire skill on GitHub - AdaCore/skills · GitHub to include support for Zephyr.

Which means you can take your favorite LLM, CLI works best, install the skill and ask the LLM to ‘create a HelloWorld program in Ada on Zephyr on the ..board.. using the /alire skill’.

Once done you can then ‘lift the program to SPARK Mode Silver using the /gnatprove skill’. The latter is not very interesting for HelloWorld, but you get the gist.

I have tried this with a rPi Pico and Pico 2, ST Micro Nucleo H5 and a NXP FRDM board.

The LLM will drive the process, it will create the Makefiles, C shims, drive the process and resolve any issues.

LinkedIn post is here: GitHub - AdaCore/skills | Mark Hermeling

Substack post is here: Ada on Zephyr, Without the Pain - Mark Hermeling

I am very interested in feedback!

Mark

(Thanks to @jgrivera67 for the presentation last year at the 29th Ada Europe, that is what gave me the idea to try this)

5 Likes
2

Pinging @saper since they showed interest to write an Ada Runtime for Zephyr per Add Ada support for Zephyr RTOS - #3 by saper

This may be helpful to you!

1 Like
3

@markhermeling out of curiosity: does it mean Ada toolchain is / will be vibecoded?

4

Hi @tomekw. My post was purely about using LLMs in building new projects.

5

I know. I was more interested in AdaCore’ stance on LLM / AI usage, but I guess you can’t answer that.