# Alire skill with Zephyr support **URL:** \ **Category:** General\ **Tags:** spark\ **Created:** [April 28, 2026, 4:55pm UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376 "2026-04-28T16:55:57Z")\ **Posts on this page:** 7\ **Page:** 1
**Author:** ![markhermeling](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/markhermeling/32/855_2.png) [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Post date:** [April 28, 2026, 4:55pm UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/1 "2026-04-28T16:55:57Z")
Hi, If you are into LLM driven development and like embedded systems, AdaCore just updated the Alire skill on [GitHub - AdaCore/skills · GitHub](https://github.com/AdaCore/skills) 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](https://www.linkedin.com/posts/markhermeling_want-to-try-ada-spark-and-use-formal-methods-share-7454933819591225344-VZhu) Substack post is here: [Ada on Zephyr, Without the Pain - Mark Hermeling](https://open.substack.com/pub/markhermeling/p/ada-on-zephyr-without-the-pain) 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) ---
**Author:** ![AdaOrbit](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/adaorbit/32/879_2.png) [@AdaOrbit](https://forum.ada-lang.io/u/AdaOrbit)\ **Post date:** [April 28, 2026, 6:45pm UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/2 "2026-04-28T18:45:13Z")
Pinging @saper since they showed interest to write an Ada Runtime for Zephyr per [Add Ada support for Zephyr RTOS - #3 by saper](https://forum.ada-lang.io/t/add-ada-support-for-zephyr-rtos/4206/3) This may be helpful to you! ---
**Author:** ![tomekw](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/tomekw/32/883_2.png) [@tomekw](https://forum.ada-lang.io/u/tomekw)\ **Post date:** [April 28, 2026, 9:39pm UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/3 "2026-04-28T21:39:27Z")
@markhermeling out of curiosity: does it mean Ada toolchain is / will be vibecoded? ---
**Author:** ![markhermeling](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/markhermeling/32/855_2.png) [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Post date:** [April 28, 2026, 11:58pm UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/4 "2026-04-28T23:58:11Z")
Hi @tomekw. My post was purely about using LLMs in building new projects. ---
**Author:** ![tomekw](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/tomekw/32/883_2.png) [@tomekw](https://forum.ada-lang.io/u/tomekw)\ **Post date:** [April 29, 2026, 6:02am UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/5 "2026-04-29T06:02:36Z")
I know. I was more interested in AdaCore’ stance on LLM / AI usage, but I guess you can’t answer that. ---
**Author:** ![LionelDraghi](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/lioneldraghi/32/416_2.png) [@LionelDraghi](https://forum.ada-lang.io/u/LionelDraghi)\ **Post date:** [April 30, 2026, 9:29am UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/6 "2026-04-30T09:29:30Z")
Thank you very much for sharing these great examples. And I’m immediately throwing my very preliminary attempt at an Alire skill in the trash! 🙂 ---
**Author:** ![markhermeling](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/markhermeling/32/855_2.png) [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Post date:** [May 8, 2026, 3:49pm UTC](https://forum.ada-lang.io/t/alire-skill-with-zephyr-support/4376/7 "2026-05-08T15:49:35Z")
Lionel: Feel free to suggest improvements! I am sure we can learn from your efforts as well. Regards, Mark