Yes, HD4000 CPUs are compatible with AppleTV (or Airplay Mirroring), as far as I know. Mine didn't work with video, but I only tested before I got things up and running properly, I now run off a discrete graphics card which doesn't give me the mirroring option at all.