πrix — a simple arm kernel