I was thinking on how to go about using an ADC with a raspberryPi4 for a project. It's a simple machine so I'd be trying to keep it light on hardware. First, I'm not really sure what RP4 support looks like in MK, LCNC has a hal-pi-gpio driver but I'm not sure if hal GPIO works on a rpi4 (or anything else), maybe somebody can fill me in.
There's plenty of SPI ADC chips out there though I don't know of many little breakout boards for them, but they're easy to implement anyway. It'd be great to have a hal component to handle this. Not something I can write since I'm no programmer, but a somewhat generic hal component that does this would enable ADCs simply on just about anything that has some pins available to hal on it.