2017-06-04 01:14:20 +00:00
|
|
|
##
|
|
|
|
## file: certs/Kconfig
|
|
|
|
##
|
|
|
|
#. Certificate paths are resolved relative to debian/build/source_rt
|
2019-03-14 12:21:57 +00:00
|
|
|
CONFIG_SYSTEM_TRUSTED_KEYS="../../certs/debian-uefi-certs.pem"
|
2017-06-04 01:14:20 +00:00
|
|
|
|
|
|
|
##
|
|
|
|
## file: kernel/Kconfig.preempt
|
|
|
|
##
|
|
|
|
## choice: Preemption Model
|
2011-07-23 20:53:57 +00:00
|
|
|
# CONFIG_PREEMPT_VOLUNTARY is not set
|
|
|
|
CONFIG_PREEMPT_RT_FULL=y
|
2017-06-04 01:14:20 +00:00
|
|
|
## end choice
|
|
|
|
|
2017-11-23 01:03:25 +00:00
|
|
|
##
|
|
|
|
## file: kernel/rcu/Kconfig
|
|
|
|
##
|
|
|
|
CONFIG_RCU_EXPERT=y
|
|
|
|
|
2017-06-04 01:14:20 +00:00
|
|
|
##
|
|
|
|
## file: kernel/trace/Kconfig
|
|
|
|
##
|
2011-07-23 20:53:57 +00:00
|
|
|
CONFIG_SCHED_TRACER=y
|
2017-05-02 03:48:15 +00:00
|
|
|
CONFIG_HWLAT_TRACER=y
|
2017-07-16 20:46:00 +00:00
|
|
|
|
|
|
|
##
|
|
|
|
## file: unknown
|
|
|
|
##
|
|
|
|
#. Dropped between 4.9 and 4.11, but might come back
|
2017-06-04 01:14:20 +00:00
|
|
|
CONFIG_MISSED_TIMER_OFFSETS_HIST=y
|
2017-07-16 20:46:00 +00:00
|
|
|
CONFIG_WAKEUP_LATENCY_HIST=y
|
2017-06-04 01:14:20 +00:00
|
|
|
|