You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
686 B
22 lines
686 B
# Copyright (c) 2014-2015 Wind River Systems, Inc. |
|
# Copyright (c) 2016 Cadence Design Systems, Inc. |
|
# Copyright (c) 2019 Intel Corp. |
|
# SPDX-License-Identifier: Apache-2.0 |
|
|
|
config NATIVE_SIM_TIMER |
|
bool "(POSIX) native_sim timer driver" |
|
default y |
|
depends on BOARD_NATIVE_SIM |
|
select TICKLESS_CAPABLE |
|
select TIMER_HAS_64BIT_CYCLE_COUNTER |
|
select SYSTEM_TIMER_HAS_DISABLE_SUPPORT |
|
help |
|
This module implements a kernel device driver for the native_sim HW timer model |
|
|
|
config NATIVE_POSIX_TIMER |
|
bool "(POSIX) native_sim/posix timer driver (deprecated)" |
|
select NATIVE_SIM_TIMER |
|
select DEPRECATED |
|
depends on BOARD_NATIVE_SIM |
|
help |
|
Deprecated option. Replaced by NATIVE_SIM_TIMER
|
|
|