diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/ref-manual/variables.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/documentation/ref-manual/variables.rst b/documentation/ref-manual/variables.rst index 4e90f03ca3..39801837ba 100644 --- a/documentation/ref-manual/variables.rst +++ b/documentation/ref-manual/variables.rst | |||
@@ -3953,6 +3953,11 @@ system and gives an overview of their function and contents. | |||
3953 | custom kernel image types with the :ref:`kernel <ref-classes-kernel>` class using this | 3953 | custom kernel image types with the :ref:`kernel <ref-classes-kernel>` class using this |
3954 | variable. | 3954 | variable. |
3955 | 3955 | ||
3956 | :term:`KERNEL_DEBUG_TIMESTAMPS` | ||
3957 | If set to "1", enables timestamping functionality during building | ||
3958 | the kernel. The default is "0" to disable this for reproducibility | ||
3959 | reasons. | ||
3960 | |||
3956 | :term:`KERNEL_DEVICETREE` | 3961 | :term:`KERNEL_DEVICETREE` |
3957 | Specifies the name of the generated Linux kernel device tree (i.e. | 3962 | Specifies the name of the generated Linux kernel device tree (i.e. |
3958 | the ``.dtb``) file. | 3963 | the ``.dtb``) file. |