diff options
author | Yannis Damigos <ydamigos@iccs.gr> | 2016-03-04 10:54:01 +0200 |
---|---|---|
committer | Gerrit Code Review <gerrit@zephyrproject.org> | 2016-03-04 13:26:15 +0000 |
commit | baddeadda161fb8de6437e0ecc0e2c4a52d2ab6d (patch) | |
tree | 64753333ac834bf83173cf1a4913722a789b6b81 | |
parent | a81c3080a20b8bbe525c303bd354d9a8abae45d0 (diff) |
arch: & kernel: Updated Kconfigs to remove errors in html generation
This patch updates some help sections to remove the "ERROR:
Unexpected indentation" messages during hmtl documentation
generation.
Change-Id: Idcdc17727b921b6145f9eb28d85975ceca273ce2
Signed-off-by: Yannis Damigos <giannis.damigos@gmail.com>
-rw-r--r-- | arch/arc/Kconfig | 5 | ||||
-rw-r--r-- | arch/arm/core/cortex_m/Kconfig | 3 | ||||
-rw-r--r-- | kernel/Kconfig | 1 | ||||
-rw-r--r-- | kernel/microkernel/Kconfig | 1 |
4 files changed, 8 insertions, 2 deletions
diff --git a/arch/arc/Kconfig b/arch/arc/Kconfig index 72695900d..99bc3faad 100644 --- a/arch/arc/Kconfig +++ b/arch/arc/Kconfig @@ -97,6 +97,7 @@ config NUM_REGULAR_IRQ_PRIO_LEVELS This represents the number of Regular Interrupt priorities, which does NOT include the Fast (FIRQ) priority. The Regular Interrupt priorities available will be + (NUM_IRQ_PRIO_LEVELS - NUM_REGULAR_IRQ_PRIO_LEVELS) to (NUM_REGULAR_IRQ_PRIO_LEVELS - 1). @@ -157,6 +158,7 @@ config NSIM default n help For running on nSIM simulator. + a) Uses non-XIP to run in RAM. b) Linked at address 0x4000 with 0x4000 of RAM so that it works with a pc_size of 16 (default). @@ -220,10 +222,11 @@ config IRQ_VECTOR_TABLE_CUSTOM the least overhead when handling an interrupt. Downsides: + - ISRs cannot have a parameter - ISRs cannot be connected at runtime - ISRs must notify the kernel manually by invoking _ExcExit() when - then are about to return. + then are about to return. config IRQ_VECTOR_TABLE_BSP bool diff --git a/arch/arm/core/cortex_m/Kconfig b/arch/arm/core/cortex_m/Kconfig index 72f4d678b..390de727f 100644 --- a/arch/arm/core/cortex_m/Kconfig +++ b/arch/arm/core/cortex_m/Kconfig @@ -186,10 +186,11 @@ config IRQ_VECTOR_TABLE_CUSTOM the least overhead when handling an interrupt. Downsides: + - ISRs cannot have a parameter - ISRs cannot be connected at runtime - ISRs must notify the kernel manually by invoking _IntExit() when - then are about to return. + then are about to return. config IRQ_VECTOR_TABLE_SOC bool diff --git a/kernel/Kconfig b/kernel/Kconfig index a100b35ea..ed409c736 100644 --- a/kernel/Kconfig +++ b/kernel/Kconfig @@ -153,6 +153,7 @@ config KERNEL_EVENT_LOGGER_SLEEP help Enable low power condition event messages. These messages provide the following information: + - When the CPU went to sleep mode. - When the CPU woke up. - The ID of the interrupt that woke the CPU up. diff --git a/kernel/microkernel/Kconfig b/kernel/microkernel/Kconfig index be2b82687..d50eaea35 100644 --- a/kernel/microkernel/Kconfig +++ b/kernel/microkernel/Kconfig @@ -163,6 +163,7 @@ config TASK_MONITOR_MASK This option specifies which task execution activities are captured in the task monitor's trace buffer. The following values can be OR-ed together to form the mask: + 1 (MON_TSWAP): task switch 2 (MON_STATE): task state change 4 (MON_KSERV): task execution of kernel APIs |