Detailed Analysis of Mac OS X’s Startup Procedures