File:Opdenacker-boot-time.pdf