| .. | .. |
|---|
| 1531 | 1531 | config PRINTK_NMI |
|---|
| 1532 | 1532 | def_bool y |
|---|
| 1533 | 1533 | depends on PRINTK |
|---|
| 1534 | | - depends on HAVE_NMI |
|---|
| 1534 | + depends on HAVE_NMI || IRQ_PIPELINE |
|---|
| 1535 | + |
|---|
| 1536 | +config RAW_PRINTK |
|---|
| 1537 | + bool "Enable support for raw printk" |
|---|
| 1538 | + default n |
|---|
| 1539 | + help |
|---|
| 1540 | + This option enables a printk variant called raw_printk() for |
|---|
| 1541 | + writing all output unmodified to a raw console channel |
|---|
| 1542 | + immediately, without any header or preparation whatsoever, |
|---|
| 1543 | + usable from any context. |
|---|
| 1544 | + |
|---|
| 1545 | + Unlike early_printk() console devices, raw_printk() devices |
|---|
| 1546 | + can live past the boot sequence. |
|---|
| 1535 | 1547 | |
|---|
| 1536 | 1548 | config BUG |
|---|
| 1537 | 1549 | bool "BUG() support" if EXPERT |
|---|
| .. | .. |
|---|
| 2449 | 2461 | if !ROCKCHIP_MINI_KERNEL |
|---|
| 2450 | 2462 | source "init/Kconfig.gki" |
|---|
| 2451 | 2463 | endif |
|---|
| 2464 | +menuconfig XENOMAI |
|---|
| 2465 | + depends on X86_TSC || !X86 |
|---|
| 2466 | + bool "Xenomai/cobalt" |
|---|
| 2467 | + select IPIPE if HAVE_IPIPE_SUPPORT |
|---|
| 2468 | + select IPIPE_WANT_APIREV_2 if IPIPE |
|---|
| 2469 | + select DOVETAIL if HAVE_DOVETAIL |
|---|
| 2470 | + select DOVETAIL_LEGACY_SYSCALL_RANGE if HAVE_DOVETAIL |
|---|
| 2471 | + default y |
|---|
| 2472 | + help |
|---|
| 2473 | + Xenomai's Cobalt core is a real-time extension to the Linux |
|---|
| 2474 | + kernel, which exhibits very short interrupt and scheduling |
|---|
| 2475 | + latency, without affecting the regular kernel services. |
|---|
| 2476 | + |
|---|
| 2477 | + This option enables the set of extended kernel services |
|---|
| 2478 | + required to run the real-time applications in user-space, |
|---|
| 2479 | + over the Xenomai libraries. |
|---|
| 2480 | + |
|---|
| 2481 | + Please visit http://xenomai.org for more information. |
|---|
| 2482 | + |
|---|
| 2483 | +if XENOMAI |
|---|
| 2484 | +source "arch/arm64/xenomai/Kconfig" |
|---|
| 2485 | +endif |
|---|
| 2486 | + |
|---|
| 2487 | +if MIGRATION |
|---|
| 2488 | +comment "WARNING! Page migration (CONFIG_MIGRATION) may increase" |
|---|
| 2489 | +comment "latency." |
|---|
| 2490 | +endif |
|---|
| 2491 | + |
|---|
| 2492 | +if APM || CPU_FREQ || ACPI_PROCESSOR || INTEL_IDLE |
|---|
| 2493 | +comment "WARNING! At least one of APM, CPU frequency scaling, ACPI 'processor'" |
|---|
| 2494 | +comment "or CPU idle features is enabled. Any of these options may" |
|---|
| 2495 | +comment "cause troubles with Xenomai. You should disable them." |
|---|
| 2496 | +endif |
|---|
| 2497 | + |
|---|
| 2498 | +config XENO_VERSION_MAJOR |
|---|
| 2499 | + int |
|---|
| 2500 | + default 3 |
|---|
| 2501 | + |
|---|
| 2502 | +config XENO_VERSION_MINOR |
|---|
| 2503 | + int |
|---|
| 2504 | + default 2 |
|---|
| 2505 | + |
|---|
| 2506 | +config XENO_REVISION_LEVEL |
|---|
| 2507 | + int |
|---|
| 2508 | + default 4 |
|---|
| 2509 | + |
|---|
| 2510 | +config XENO_VERSION_STRING |
|---|
| 2511 | + string |
|---|
| 2512 | + default "3.2.4" |
|---|
