TSEC: Difference between revisions

Line 228: Line 228:
   
   
  u32 boot_res = 0;
  u32 boot_res = 0;
 
  // The bootloader allows the TSEC two seconds from this point to do its job
  // The bootloader allows the TSEC two seconds from this point to do its job
  u32 maximum_time = read_timer() + 2000000;  
  u32 maximum_time = read_timer() + 2000000;