#!/bin/sh
# SPDX-License-Identifier: GPL-2.0-only
# This file is part of the coreboot project.
#
# DESCR: Check that files have license headers

# Directories requiring SPDX Identifiers only
util/lint/lint-000-license-headers "src/acpi" SPDX_ONLY
util/lint/lint-000-license-headers "src/superio" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/arm" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/arm64" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/ppc64" SPDX_ONLY
util/lint/lint-000-license-headers "src/arch/riscv" SPDX_ONLY

# Top level
util/lint/lint-000-license-headers "src/arch/x86 src/commonlib src/console \
	src/cpu src/device src/ec src/mainboard src/northbridge src/soc \
	src/southbridge"

# src/drivers
util/lint/lint-000-license-headers "src/drivers/ams src/drivers/aspeed src/drivers/dec src/drivers/elog \
	src/drivers/emulation src/drivers/gic src/drivers/ics src/drivers/ipmi src/drivers/maxim \
	src/drivers/parade src/drivers/ricoh src/drivers/sil src/drivers/ti src/drivers/usb src/drivers/xgi"

# src/security
util/lint/lint-000-license-headers "src/security/vboot"