# Copyright 2015 Marvin Schmidt <marv@exherbo.org>
# Distributed under the terms of the GNU General Public License v2

require openocd

PLATFORMS="~amd64"