Mali DDK for Tizen 3.0 (Wayland enabled)