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 | More toots from tevo@bsd.cafe
I was slightly disappointed I couldn't represent GPSET/GPCLR using Ada's bit-level data modelling facilities, but it seems the BCM8235 gets really upset when you read from it's write-only registers, and I couldn't find any way to tell GNAT to avoid reading from a given memory region :(
=> More informations about this toot | More toots from tevo@bsd.cafe This content has been proxied by September (ba2dc).Proxy Information
text/gemini