Robin Mueller
39bb423a48
Some checks failed
ci / Check build (push) Has been cancelled
ci / Check formatting (push) Has been cancelled
ci / Check Documentation Build (push) Has been cancelled
ci / Clippy (push) Has been cancelled
ci / Check build (pull_request) Has been cancelled
ci / Check formatting (pull_request) Has been cancelled
ci / Check Documentation Build (pull_request) Has been cancelled
ci / Clippy (pull_request) Has been cancelled
151 lines
3.8 KiB
Tcl
151 lines
3.8 KiB
Tcl
if {[info exists env(ip_address_hw_server)]} {
|
|
set ip $env(ip_address_hw_server)
|
|
} else {
|
|
set ip "localhost"
|
|
}
|
|
|
|
# Defaults
|
|
set init_tcl ""
|
|
set bin ""
|
|
set bitstream ""
|
|
|
|
# Usage helper
|
|
proc usage {} {
|
|
puts "Usage: xsct xsct-helper.tcl <init.tcl> \[-a|--app app.elf\] \[-b|--bit design.bit]"
|
|
puts "Options:"
|
|
puts " -b, --bin Path to boot binary to flash"
|
|
puts " -h, --help Show this help"
|
|
}
|
|
|
|
# Compact, robust parser
|
|
set expecting ""
|
|
set endopts 0
|
|
foreach arg $argv {
|
|
# If previous option expects a value, take this arg
|
|
if {$expecting ne ""} {
|
|
set $expecting $arg
|
|
set expecting ""
|
|
continue
|
|
}
|
|
|
|
# Option handling (until we see --)
|
|
if {!$endopts && [string match "-*" $arg]} {
|
|
if {$arg eq "--"} { set endopts 1; continue }
|
|
if {$arg eq "-h" || $arg eq "--help"} { usage; exit 0 }
|
|
if {$arg eq "-b" || $arg eq "--bin"} { set expecting app; continue }
|
|
puts "error: unknown option: $arg"; usage; exit 1
|
|
}
|
|
|
|
# Positional: expect only <init.tcl>
|
|
if {$init_tcl eq ""} {
|
|
set init_tcl $arg
|
|
} else {
|
|
puts "error: unexpected positional argument: $arg"
|
|
usage
|
|
exit 1
|
|
}
|
|
}
|
|
|
|
# Validate required init script
|
|
if {$init_tcl eq ""} {
|
|
puts "error: missing required first argument pointing to initialization TCL script"
|
|
usage
|
|
exit 1
|
|
}
|
|
if {![file exists $init_tcl]} {
|
|
puts "error: the PS init tcl script '$init_tcl' does not exist"
|
|
exit 1
|
|
}
|
|
|
|
# Resolve app: CLI takes precedence over env(APP)
|
|
if {$bin ne ""} {
|
|
if {![file exists $bin]} {
|
|
puts "error: the boot binary file '$bin' does not exist"
|
|
exit 1
|
|
}
|
|
} elseif {[info exists env(BOOTBIN)]} {
|
|
if {[file exists $env(BOOTBIN)]} {
|
|
set bin $env(BOOTBIN)
|
|
} else {
|
|
puts "warning: BOOTBIN environment variable is set but file does not exist: $env(BOOTBIN)"
|
|
}
|
|
}
|
|
|
|
if {$bin eq ""} {
|
|
puts "error: boot.bin binary required as BOOTBIN environment"
|
|
usage
|
|
exit 1
|
|
}
|
|
|
|
# Validate bitstream if provided
|
|
if {$bitstream ne "" && ![file exists $bitstream]} {
|
|
puts "error: the bitstream file '$bitstream' does not exist"
|
|
exit 1
|
|
}
|
|
|
|
puts "Hardware server IP address: $ip"
|
|
connect -url tcp:$ip:3121
|
|
|
|
set devices [targets]
|
|
|
|
set apu_line [string trim [targets -nocase -filter {name =~ "APU"}]]
|
|
set arm_core_0_line [string trim [targets -nocase -filter {name =~ "ARM Cortex-A9 MPCore #0"}]]
|
|
set fpga_line [string trim [targets -nocase -filter {name =~ "xc7z020"}]]
|
|
|
|
set apu_device_num [string index $apu_line 0]
|
|
set arm_core_0_num [string index $arm_core_0_line 0]
|
|
set fpga_device_num [string index $fpga_line 0]
|
|
|
|
puts "Select ps target with number: $apu_device_num"
|
|
|
|
# Select the target
|
|
target $apu_device_num
|
|
|
|
# Resetting the target involved problems when an image is stored on the flash.
|
|
# It has turned out that it is not essential to reset the system before loading
|
|
# the software components into the device.
|
|
puts "Reset target"
|
|
# TODO: Make the reset optional/configurable via input argument.
|
|
# Reset the target
|
|
rst
|
|
|
|
# Check if bitstream is set and the file exists before programming FPGA
|
|
if {$bitstream eq ""} {
|
|
puts "Skipping bitstream programming (bitstream argument not set)"
|
|
} elseif {![file exists $bitstream]} {
|
|
puts "Error: The bitstream file '$bitstream' does not exist"
|
|
} else {
|
|
puts "Set FPGA target with number: $fpga_device_num"
|
|
target $fpga_device_num
|
|
|
|
# Without this delay, the FPGA programming may fail
|
|
after 1500
|
|
|
|
puts "Programming FPGA with bitstream: $bitstream"
|
|
fpga -f $bitstream
|
|
}
|
|
|
|
puts "Set ps target with device number: $arm_core_0_num"
|
|
targets $arm_core_0_num
|
|
|
|
puts "Initialize processing system"
|
|
# Init processing system
|
|
source $init_tcl
|
|
|
|
ps7_init
|
|
ps7_post_config
|
|
|
|
puts "Set arm core 0 target with number: $arm_core_0_num"
|
|
target $arm_core_0_num
|
|
|
|
puts "Download boot.bin $bin to target DDR"
|
|
dow $bin
|
|
|
|
# TODO: Flash QSPI flasher.
|
|
|
|
|
|
puts "Starting app"
|
|
con
|
|
|
|
puts "Success"
|