Is there are support for SDIO in Risc OS?

Sorry, fat finger.
Meant to type: Is there /any/ support for SDIO in Risc OS?

Reason I ask is that I’m looking for ways to add some kind of GPIO facility to an ArmBook.

Yes. Use the forum Search facility (top right of this page)

Alternatively, here is an example which compiles as a module with ABC

Example removed as it was not relevant to the question

Yes. Use the forum Search facility (top right of this page)

Not answer to the question.

SDIO is coming , don’t know if there are ports using it. Pinebook will certainly get it.

Not answer to the question.

Oooops. Sorry. You are quite right. My feeble brain read it as GPIO!

I have edited my post only to remove the example, which just wasted space!

https://gitlab.riscosopen.org/RiscOS/Sources/HWSupport/SD/SDIODriver/-/merge_requests/6

Just have some patience!

The SDIO work is in our latest builds (check the owners’ download site) for Pinebook and ARMX6 to aid SDIO driver development. Other platforms (eg. Pi) are waiting on ROOL to complete the merge requests, as Michael says.

The merge request should have links to the documentation etc.