DS has cradle cap (it makes his head a bit stinky is this normal?)

Any way - I read that you can rub oil on their heads and it will soften it and then it should gently rub or brush off - but what type of oil?

Cheers
Naomi