Tock OS currently requires all board and hardware configuration to be written in Rust source files. This limits portability, reusability, and maintainability, especially when compared to other embedded OS like Zephyr and Linux, which use Device Tree files for hardware description and abstraction.
Support for Device Tree would enable easier board bring-up, hardware portability, and potentially allow leveraging the large ecosystem of existing Device Tree files from Linux and Zephyr.

I would like to request support in Tock OS for hardware description via Device Tree files, similar to Zephyr OS. This would include:

• The ability to describe memory resources, peripherals, pins, and board configuration in dts/dtsi files instead of source code.
• A build step or tooling to automatically generate Rust code or configuration from Device Tree sources.
• Documentation and examples for using Device Tree with Tock OS boards.