Here's the simulation with 24V input, 10A load, and Vcc generated from the output 12V.
The simplified circuits you posted are just to indicate the basic circuit configuration, not to build an operating circuit.
The series resistor values for an LED are:
(Vs-Vd) / Id, where Vs is the supply...