Vulkan support on Linux for Hikey 960

Has anyone confirmed that the user space Mali driver for Hikey 960 has Vulkan support in Linux? I saw this post from ARM. It seems like Vulkan is supported under Linux.