source [find interface/ftdi/digilent-hs1.cfg]
adapter_khz 10000

set PL_TAPID 0x13722093
set SMP 1

source ./zynq-7000.cfg
source ./xilinx-tcl.cfg
source ./ps7_init.tcl

reset_config srst_only srst_push_pull

set XC7_JSHUTDOWN 0x0d
set XC7_JPROGRAM 0x0b
set XC7_JSTART 0x0c
set XC7_BYPASS 0x3f

proc xc7_program {tap} {
    global XC7_JSHUTDOWN XC7_JPROGRAM XC7_JSTART XC7_BYPASS
    irscan $tap $XC7_JSHUTDOWN
    irscan $tap $XC7_JPROGRAM
    runtest 60000
    #JSTART prevents this from working...
    #irscan $tap $XC7_JSTART
    runtest 2000
    irscan $tap $XC7_BYPASS
    runtest 2000
}

pld device virtex2 zynq.tap 1
init
xc7_program zynq.tap

xilinx_ps7_init

# Disable MMU
targets $_TARGETNAME_1
arm mcr 15 0 1 0 0 [expr [arm mrc 15 0 1 0 0] & ~0xd]
targets $_TARGETNAME_0
arm mcr 15 0 1 0 0 [expr [arm mrc 15 0 1 0 0] & ~0xd]