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.
 
 
 
 
 
Juan Castillo f04585f399 TBB: delete deprecated plat_match_rotpk() 10 years ago
..
bl31 Initialise cpu ops after enabling data cache 10 years ago
bl32 Pass arguments/results between EL3/S-EL1 via CPU registers (x0-x7) 10 years ago
common TBB: switch to the new authentication framework 10 years ago
drivers TBB: add mbedTLS authentication related libraries 10 years ago
lib Add header guards to asm macro files 10 years ago
plat TBB: delete deprecated plat_match_rotpk() 10 years ago
stdlib Enable type-checking of arguments passed to printf() et al. 10 years ago