default_timer_sec 60
device_online_sec 6 
discovered_sec 150
powered_on_sec 420
powered_off_sec 10
bios_started_sec 600
bios_ready_sec 600
downloading_sec 300
installing_image_sec 300
installed_image_sec 300
kernel_booting_sec 300
kernel_dump_in_progress_sec 300
card_info_rcvd_sec 600
xr_init_sec 900
shut_in_progress_sec 60
debounce_sec 40
wait_for_remote_cards_sec 180
os_halt_sec 30
os_halted_sec 2
card_reset_sec 600
wdog_stage1_sec 60
wdog_stage2_sec 2
card_shutdown_sec 10
dpath_powering_on_sec 10
dpath_power_on_sec 600
dpath_power_off_sec 5
waiting_for_board_reset_sec 60
trigger_instance_shut_sec 60
fpd_upgrade_sec 600
pwr_state_get_failed_sec 180
cur_state_get_failed_sec 180
