bodhidharma: existed?

Re: Bodhidharma (the Indian Buddhist who travelled to China to start Buddhism there, and some say martial arts.)

I recently saw a blurb somewhere that said Bodhidharma may not have ever existed, or that he didn’t go to Chinda. I think it said this was based on not records of him even though there were written records of other historical figures at the time he was to have lived. Not sure what that proves, but anyway…Is there any agreement on his existance?