ARM side libraries and utilities used on Raspberry Pi.