VxWorks and UEFI Secure Boot Abstract