coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
OptionsIds.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 /**
4  * @file
5  *
6  * IDS Option File
7  *
8  * This file is used to switch on/off IDS features.
9  *
10  */
11 #ifndef _OPTION_IDS_H_
12 #define _OPTION_IDS_H_
13 
14 /**
15  *
16  * This file generates the defaults tables for the Integrated Debug Support
17  * Module. The documented build options are imported from a user controlled
18  * file for processing. The build options for the Integrated Debug Support
19  * Module are listed below:
20  *
21  * IDSOPT_IDS_ENABLED
22  * IDSOPT_ERROR_TRAP_ENABLED
23  * IDSOPT_CONTROL_ENABLED
24  * IDSOPT_TRACING_ENABLED
25  * IDSOPT_PERF_ANALYSIS
26  * IDSOPT_ASSERT_ENABLED
27  * IDSOPT_CAR_CORRUPTION_CHECK_ENABLED
28  *
29  **/
30 
31 #define IDSOPT_IDS_ENABLED TRUE
32 //#define IDSOPT_TRACING_ENABLED TRUE
33 #define IDSOPT_ASSERT_ENABLED TRUE
34 
35 
36 #endif