You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
Jimmy Brisson 7dfb99118e Add TRNG Firmware Interface service 4 years ago
..
aarch64 Fix exception handlers in BL31: Use DSB to synchronize pending EA 4 years ago
bl31.ld.S Increase type widths to satisfy width requirements 4 years ago
bl31.mk Add TRNG Firmware Interface service 4 years ago
bl31_context_mgmt.c Coverity: remove unnecessary header file includes 5 years ago
bl31_main.c arm_fpga: Add support for unknown MPIDs 4 years ago
ehf.c Minor changes to documentation and comments 6 years ago
interrupt_mgmt.c Use correct type when reading SCR register 5 years ago