# SPDX-License-Identifier: GPL-3.0-or-later

tree="coreboot413"
rev="5c186c6777c9438ff4681929c9c25c98dee28bef"