GPIO interrupts on FreeBSD

[Kip Coul]

Hello FreeBSD friends :)

I'm sending this e-mail to you regarding FreeBSD on Raspberry Pi. I'd
like to build a system with my Raspberry Pi on FreeBSD, and for that I
need to use the GPIO. I ultimately would like to respond to interrupts
on my Pi's GPIO pins. Do you know whether I can wait for interrupt in
an event-driven manner on the GPIO? If yes, how?

Thanks a lot!

Regards,
Kip