3 ms·

Thanks, that makes more sense. I do have an RPi which is also arm64 (still different from Apple's), and the mainstream things work ok at least.