He needs to take  high protein foods like all milk and milk products, eggs, pulses, sprouts, nuts, tofu, rajmah, chole, soyabean, paneer, chicken, fish etc. to gain muscle mass. Give him homemade nuts powder, roasted chana, nutritious ladoo from home which he can keep in his hostel ask me directly for the recipes and detailed diet for him.