Waking baby up in the morning

Hi parents! Do you set a wake up time for your babies in the morning? Is a fixed timing important? Sometimes my 9 month old baby sleeps in till 10-11am and I’m in a dilemma if I should wake him up earlier when he is sleeping soundly. FYI, his bedtime is 8-9pm and he has a feeding at 12mn. He then takes 2 naps - total 2.5hrs. Is this too much night sleep?