Raspberry Pi userspace tools and libraries
