C library for Broadcom BCM 2835 as used in Raspberry Pi