# Copyright (c) 2022-2024 Intel Corporation
# SPDX-License-Identifier: Apache-2.0
# Description:
# Helper file to download the GSRD preloader to the board before the application

restore boards/intel/socfpga_std/cyclonev_socdk/support/u-boot-spl
symbol-file -readnow boards/intel/socfpga_std/cyclonev_socdk/support/u-boot-spl
thbreak spl_boot_device
jump _start