]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/templates/globalconfig.out.sparc-1
update
[l4.git] / kernel / fiasco / src / templates / globalconfig.out.sparc-1
1 #
2 # Automatically generated file; DO NOT EDIT.
3
4 #
5 # Target configuration
6 #
7 # CONFIG_IA32 is not set
8 # CONFIG_AMD64 is not set
9 # CONFIG_ARM is not set
10 # CONFIG_PPC32 is not set
11 CONFIG_SPARC=y
12 CONFIG_PF_LEON3=y
13 CONFIG_BSP_NAME="leon3"
14 CONFIG_ABI_VF=y
15 CONFIG_LEON3=y
16
17 #
18 # Kernel options
19 #
20 CONFIG_CONTEXT_4K=y
21 # CONFIG_FINE_GRAINED_CPUTIME is not set
22 CONFIG_SCHED_FIXED_PRIO=y
23 # CONFIG_SCHED_WFQ is not set
24 # CONFIG_SCHED_FP_WFQ is not set
25 CONFIG_VIRT_OBJ_SPACE=y
26
27 #
28 # Debugging
29 #
30 CONFIG_INLINE=y
31 # CONFIG_NDEBUG is not set
32 CONFIG_NO_FRAME_PTR=y
33 # CONFIG_STACK_DEPTH is not set
34 # CONFIG_LIST_ALLOC_SANITY is not set
35 CONFIG_SERIAL=y
36 CONFIG_JDB=y
37 # CONFIG_JDB_LOGGING is not set
38 CONFIG_JDB_DISASM=y
39 CONFIG_JDB_GZIP=y
40 # CONFIG_WARN_NONE is not set
41 CONFIG_WARN_WARNING=y
42 # CONFIG_WARN_ANY is not set
43
44 #
45 # Compiling
46 #
47 CONFIG_CC="gcc"
48 CONFIG_CXX="g++"
49 CONFIG_HOST_CC="gcc"
50 CONFIG_HOST_CXX="g++"
51 # CONFIG_MAINTAINER_MODE is not set
52 CONFIG_LABEL=""
53 CONFIG_EXPERIMENTAL=y
54 CONFIG_BIT32=y
55 CONFIG_WARN_LEVEL=1
56 CONFIG_XARCH="sparc"
57 CONFIG_ABI="vf"