Last week, Vortex-CoLab was present at the VERDI workshop represented by Vitor Rodrigues. The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS.
We’re proud to 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.
Read our paper here , and try our online tool