This is the documentation for the latest (main) development branch. If you are looking for the documentation of previous releases, use the drop-down menu on the left and select the desired version.

9. Bibliography

[DTSpec]

Devicetree Specification, Version 0.3, devicetree.org, 13 February 2020.

[FreeRTOS]

FreeRTOS™

[Linux]

The Linux kernel, see About Linux Kernel <https://kernel.org/linux.html>

[Ubuntu]

Ubuntu Linux

[Yocto]

Yocto Project

[Zephyr]

Zephyr Project