2,787
edits
Changes
→Firmware booting
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;