🚀 Exciting News!

Our research deep dives into the world of Dependable Systems, exploring a novel technique to fortify the configuration of Cyber-Physical Systems against safety flaws related to Memory-Mapped Resources.

Say hello to LLHSC, an innovative tool that is set to revolutionize system configurations and Devicetree checks! LLHSC stands for “cLean and Lean Hypervisor System Configurator,” and it’s here to showcase its remarkable potential. This tool is designed to help design systems powered by the Bao static-partitioning hypervisor, with a focus on the popular RISC-V architecture.

LLHSC brings additional features to the table. It acts as a Devicetree syntax and semantic checker, ensuring that your configurations are flawless and in line with the desired standards.

With LLHSC, you have the power to construct fully customized configurations tailored to your unique system requirements. No more settling for generic setups that do not leverage the capabilities of your system. Furthermore, LLHSC’s Devicetree validation capability guarantees that your configurations are not only customized but also error-free.

Read our paper here, and try our online tool: https://llhsc.apps.vortex-colab.com

Stay tuned!