Article: Booting the Linux operating system