Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2 | pj | 1 | # |
2 | # the following lines are preserved |
||
3 | # new lines are appended at end of file! |
||
4 | # |
||
5 | |||
6 | CC=gcc |
||
7 | CFLAGS=-Wall -s -O2 |
||
8 | |||
9 | # |
||
10 | # the following lines are generated |
||
11 | # by a script (do not edit by hand) |
||
12 | # |
||
13 | |||
14 | EX_BOOL=y |
||
15 | EX_TRISTATE=m |
||
16 | EX_RANGE=20 |
||
17 | EX_CHOICE_1=n |
||
18 | EX_CHOICE_2=n |
||
19 | EX_CHOICE_3=y |
||
20 | EX_BOOL2=n |
||
21 | EX_BOOL3=n |
||
22 | EX_TRI2=n |
||
23 | EX_BOOL4=n |
||
24 | CONFIG_SYS_MSDOS=y |
||
25 | CONFIG_SYS_LINUX=n |
||
26 | CONFIG_CPU_I386=y |
||
27 | CONFIG_CPU_PENTIUM=y |
||
28 | CONFIG_CPU_PENTIUMII=n |
||
29 | CONFIG_MAXTASK=6 |
||
30 | CONFIG_SCHED_EDF=y |
||
31 | CONFIG_SCHED_RM=n |
||
32 | CONFIG_SCHED_EDFSERV=y |
||
33 | CONFIG_SCHED_EDFRMSERV=n |
||
34 | CONFIG_CHAR=y |
||
35 | CONFIG_CHAR_KEYBOARD=y |
||
36 | CONFIG_CHAR_MOUSE=n |
||
37 | CONFIG_CHAR_RTC=n |
||
38 | CONFIG_CHAR_CONSOLE2=y |
||
39 | CONFIG_BLOCK=n |
||
40 | CONFIG_BLOCK_IDE=n |
||
41 | CONFIG_BLOCK_LOOP=n |
||
42 | CONFIG_GRAPHICS=n |
||
43 | CONFIG_NET=n |
||
44 | CONFIG_NET_3COM=n |
||
45 | CONFIG_FSSUPPORT=n |
||
46 | CONFIG_FS_MSDOS=n |
||
47 | CONFIG_FS_ISO9660=n |
||
48 | CONFIG_FS_ISO9960_JOLIET=n |
||
49 | CONFIG_FS_ISO9960_ROCKRIDGE=n |
||
50 | CONFIG_FS_DEVFS=n |