Fast Boot with Intel Firmware Support Package
The client was developing cockpit avionics hardware and required extremely quick bootup time for custom Intel Baytrail board running VxWorks 653. There was no emulator available for the Baytrail processor.
The Intel Firmware Support Package (FSP) was used to replace the existing BIOS / bootrom combination, and the Baytrail CPU was simulated on Simics in order to get working code. Custom serial debug routines were created for the FSP boot code to get the code running on the real hardware. The system was then benchmarked and optimised, resulting in a very fast boot for the board.