I am purchasing some Raspberry Pi boards and I'd like to get NetBSD on
them. I'd like to help the porting effort if I can. Does TNF or the
port-ARM maintainers need hardware to begin? If so, please let me
know as I may be able to assist.