Raspberry Pi userspace utilities
