I am currently working on a world orbiting around a red dwarf star (M0V to M2V, I haven't decided yet) and I need some help with designing the solar system. My original plan was having 4 planets orbiting the star:
1st planet: a small rocky planet the size of Mars, very close to the star, a lot of volcanic activity, thick atmosphere (basically a smaller Venus)
2nd planet: an Earth-like planet with a surface gravity of 1.5 g. Habitable, orbits in the star's goldilocks zone, has a composition of elements similar to Earth (rich in metals and minerals, Earth-like atmosphere, liquid water) tidally locked
3rd planet: a gas giant about the size of Saturn with 5 named moons (I say named because only 5 of them are big enough to be spherical, there are several other moons that resemble meteorites)
4th planet: an ice giant similar in size and chemical composition as Uranus with 3 named moons
Asteroid belt: a collection of asteroids and other dwarf planets at the outskirts of the solar system
From what I understand planets form from the debris disk that surrounds the star at the start of their life cycle. But red dwarfs are considered to be the smallest and dimmest of stars. Would their debris disk have the amount of elements required for the formation of these planets?