Booting x86-64: from firmware to PID1

from blog Mumbling about computers, | ↗ original
All I (now) know about booting x86-64