Hi
I doubt this is the right place to put this but I have no idea where else to?
My 10 year old DS has a boy in his class who keeps telling racist jokes 

they're not actually jokes, just disgusting views being spouted which he clearly hears at home, but that's how DS worded it.
We often have anti racism conversations in this house so when this boy starts speaking like this (I can't even repeat what he said-it's pretty horrific
) my DS feels very uncomfortable and has came to the decision he no longer wants to be friends with this boy. However that's easier said than done as he sits beside him in class, always tries to play with my DS at break/lunch time etc and my DS being 10 years old doesn't
feel equipped to be very outright and say I don't want to talk to you because of x, y and z.
Should I call the school to alert them to what's being said? I know it isn't the teachers responsibility necessarily deal with this but I can't just let it slide and go unknown either. I have no idea what the schools stance on anti racism is or if it's even included in the curriculum but I feel some massive intervention is needed here!
WWYD?