# Copyright (c) 2025 HPMicro
# SPDX-License-Identifier: BSD-3-Clause

$_TARGET0 configure -event reset-deassert-pre {
    sleep 1
    if {$halt} {
        $::_TARGET0 arp_halt
    }
}