When an F1 race start (or re-start) takes place, what determines when cars starting from the pit-lane allowed to start? Is it based on cars on-track or something else?
I was thinking of this particularly in regard to the very unusual race restart in the 2021 Hungarian GP where every car except one came in to change tyres, leaving Lewis Hamilton as the only car on the grid with all others starting from the pit lane. If Lewis suffered car failure at the start or simply decided to sit on the grid at lights-out would everyone else have been allowed to restart?