bcm2835: C library for Broadcom BCM 2835 as used in Raspberry Pi