diff options
| -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. |