drivers/ipmi/ocp: Add missing include
[coreboot.git] / src / cpu / armltd / Kconfig
blob648480007857ca1f3df3a1e85d8fd71f2575eb18
1 ## SPDX-License-Identifier: GPL-2.0-only
3 source "src/cpu/armltd/cortex-a9/Kconfig"