1. A method comprising: generating a boot code for a peripheral device from a program written in a high-level programming language; gathering information while generating the boot code; and generating a certificate from the information gathered while generating the boot code, wherein the certificate describes operation of the boot code.