Analyzing the Linux boot process