1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| source "kernel/xenomai/Kconfig"
| source "drivers/xenomai/Kconfig"
|
| config XENO_ARCH_FPU
| def_bool VFP
|
| config XENO_ARCH_SYS3264
| def_bool n
|
| config XENO_ARCH_OUTOFLINE_XNLOCK
| bool
| default y
|
| config XENO_ARCH_IPIPE_COMPAT
| def_bool DOVETAIL
| select IPIPE_COMPAT
|
|
