Copious levels of yak-shaving have led me into writing a pure Ada library for interfacing with the Raspberry Pi's GPIO. It implements Ada_Driver_Library's HAL.GPIO interfaces, so you can easily offload your project to a cheap microcontroller when the time comes.
You can get it here: https://git.sr.ht/~tevo/rpio
It is not yet on Alire, I'll look into submitting it after a few more days of dogfooding.
Now, back to implementing ADB, so I can...
=> More informations about this toot | View the thread | More toots from tevo@bsd.cafe
text/geminiThis content has been proxied by September (ba2dc).