scheduler: avoid using a poisoned macro
[aversive.git] / config / .config
1 #
2 # Automatically generated by make menuconfig: don't edit
3 #
4
5 #
6 # Hardware
7 #
8 # CONFIG_MCU_AT90S2313 is not set
9 # CONFIG_MCU_AT90S2323 is not set
10 # CONFIG_MCU_AT90S3333 is not set
11 # CONFIG_MCU_AT90S2343 is not set
12 # CONFIG_MCU_ATTINY22 is not set
13 # CONFIG_MCU_ATTINY26 is not set
14 # CONFIG_MCU_AT90S4414 is not set
15 # CONFIG_MCU_AT90S4433 is not set
16 # CONFIG_MCU_AT90S4434 is not set
17 # CONFIG_MCU_AT90S8515 is not set
18 # CONFIG_MCU_AT90S8534 is not set
19 # CONFIG_MCU_AT90S8535 is not set
20 # CONFIG_MCU_AT86RF401 is not set
21 # CONFIG_MCU_ATMEGA103 is not set
22 # CONFIG_MCU_ATMEGA603 is not set
23 # CONFIG_MCU_AT43USB320 is not set
24 # CONFIG_MCU_AT43USB355 is not set
25 # CONFIG_MCU_AT76C711 is not set
26 # CONFIG_MCU_ATMEGA8 is not set
27 # CONFIG_MCU_ATMEGA48 is not set
28 # CONFIG_MCU_ATMEGA88 is not set
29 # CONFIG_MCU_ATMEGA8515 is not set
30 # CONFIG_MCU_ATMEGA8535 is not set
31 # CONFIG_MCU_ATTINY13 is not set
32 # CONFIG_MCU_ATTINY2313 is not set
33 # CONFIG_MCU_ATMEGA16 is not set
34 # CONFIG_MCU_ATMEGA161 is not set
35 # CONFIG_MCU_ATMEGA162 is not set
36 # CONFIG_MCU_ATMEGA163 is not set
37 # CONFIG_MCU_ATMEGA165 is not set
38 # CONFIG_MCU_ATMEGA168 is not set
39 # CONFIG_MCU_ATMEGA169 is not set
40 # CONFIG_MCU_ATMEGA32 is not set
41 # CONFIG_MCU_ATMEGA323 is not set
42 # CONFIG_MCU_ATMEGA325 is not set
43 # CONFIG_MCU_ATMEGA3250 is not set
44 # CONFIG_MCU_ATMEGA64 is not set
45 # CONFIG_MCU_ATMEGA645 is not set
46 # CONFIG_MCU_ATMEGA6450 is not set
47 CONFIG_MCU_ATMEGA128=y
48 # CONFIG_MCU_AT90CAN128 is not set
49 # CONFIG_MCU_AT94K is not set
50 # CONFIG_MCU_AT90S1200 is not set
51 CONFIG_QUARTZ=12000000
52
53 #
54 # Generation options
55 #
56 # CONFIG_OPTM_0 is not set
57 # CONFIG_OPTM_1 is not set
58 # CONFIG_OPTM_2 is not set
59 # CONFIG_OPTM_3 is not set
60 CONFIG_OPTM_S=y
61 CONFIG_MATH_LIB=y
62 # CONFIG_MINIMAL_PRINTF is not set
63 CONFIG_STANDARD_PRINTF=y
64 # CONFIG_ADVANCED_PRINTF is not set
65 CONFIG_FORMAT_IHEX=y
66 # CONFIG_FORMAT_SREC is not set
67 # CONFIG_FORMAT_BINARY is not set
68
69 #
70 # Base modules
71 #
72 CONFIG_MODULE_UTILS=y
73 CONFIG_MODULE_UTILS_CREATE_CONFIG=y
74 CONFIG_MODULE_WAIT=y
75 CONFIG_MODULE_WAIT_CREATE_CONFIG=y
76 CONFIG_MODULE_LIST=y
77 CONFIG_MODULE_LIST_CREATE_CONFIG=y
78 CONFIG_MODULE_NOSCHED=y
79 # CONFIG_MODULE_SCHEDULER1 is not set
80 # CONFIG_MODULE_SCHEDULER2 is not set
81 # CONFIG_MODULE_SCHEDULER1_CREATE_CONFIG is not set
82 # CONFIG_MODULE_SCHEDULER2_CREATE_CONFIG is not set
83
84 #
85 # Communication modules
86 #
87 # CONFIG_MODULE_UART is not set
88 # CONFIG_MODULE_UART_CREATE_CONFIG is not set
89
90 #
91 # Debug modules
92 #
93 # CONFIG_MODULE_DIAGNOSTIC is not set
94 # CONFIG_MODULE_DIAGNOSTIC_CREATE_CONFIG is not set
95 CONFIG_MODULE_ERROR=y
96 CONFIG_MODULE_ERROR_CREATE_CONFIG=y
97
98 #
99 # Avrdude
100 #
101 # CONFIG_AVRDUDE_PROG_FUTURELEC is not set
102 # CONFIG_AVRDUDE_PROG_ABCMINI is not set
103 # CONFIG_AVRDUDE_PROG_PICOWEB is not set
104 # CONFIG_AVRDUDE_PROG_SP12 is not set
105 # CONFIG_AVRDUDE_PROG_ALF is not set
106 # CONFIG_AVRDUDE_PROG_BASCOM is not set
107 # CONFIG_AVRDUDE_PROG_DT006 is not set
108 # CONFIG_AVRDUDE_PROG_PONY_STK200 is not set
109 CONFIG_AVRDUDE_PROG_STK200=y
110 # CONFIG_AVRDUDE_PROG_PAVR is not set
111 # CONFIG_AVRDUDE_PROG_BUTTERFLY is not set
112 # CONFIG_AVRDUDE_PROG_AVR910 is not set
113 # CONFIG_AVRDUDE_PROG_STK500 is not set
114 # CONFIG_AVRDUDE_PROG_AVRISP is not set
115 # CONFIG_AVRDUDE_PROG_BSD is not set
116 CONFIG_AVRDUDE_PORT="/dev/parport0"
117 # CONFIG_AVRDUDE_FUSE is not set