Our approach of automatically building Devicetree specifications offers a constructive way to safely configure embedded systems using a feature model and a series of deltas applied to a master DTS. It also provides a safe and efficient method for resource allocation.

llhsc is an experimental development tool that demonstrates its potential in constructing customized configurations for systems running the Bao static-partitioning hypervisor, targeting RISC-V, and is also a Devicetree syntax and semantic checker.

Link to the paper here.

Link to the online tool: https://llhsc.apps.vortex-colab.com

The paper’s running example is available for evaluation, which includes the full generation of the two DTS files and the Bao configuration file for the CustomSBC. The configurations automatically generated can be utilized not only in Bao hypervisor but also in other virtualization solutions such as QEMU.

Additionally, these configurations are compatible with SBCs that use RV64 or aarch64 architecture.

The documentation of llhsc is also available here.