Some technical details about the beautiful boot animation sequence in Windows 7. Duration, file types & how it’s executed.