forked from Mirrors/opensbi
8ff2b94ea1
We add simple timer framework which will select and use timer 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
250 B
Makefile
12 lines
250 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 += timer/fdt_timer.o
|
|
libsbiutils-objs-y += timer/fdt_timer_clint.o
|