[fedora-arm] Re: Raspberry Pi GPIO libraries