[ros-diffs] [tkreuzer] 67448: [XDK] Add arm/mm.h (not used yet)