forked from Mirrors/opensbi
76f0f81407
We add simple ipi framework which will select and use ipi driver based on details in FDT passed by previous booting stage. Signed-off-by: Anup Patel <anup.patel@wdc.com> Reviewed-by: Atish Patra <atish.patra@wdc.com>
12 lines
242 B
Makefile
12 lines
242 B
Makefile
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
# Copyright (c) 2020 Western Digital Corporation or its affiliates.
|
|
#
|
|
# Authors:
|
|
# Anup Patel <anup.patel@wdc.com>
|
|
#
|
|
|
|
libsbiutils-objs-y += ipi/fdt_ipi.o
|
|
libsbiutils-objs-y += ipi/fdt_ipi_clint.o
|