Boot loader for the Linux operating system
