Dresden, February 2023 – We can proudly announce that Lauterbach, the world’s leading debug tool supplier, now offers debugging and trace support for the newly developed L4Re Micro Hypervisor.
The TRACE32 from Lauterbach debugs VMs and native hypervisor applications across a many-core system, transparently accessing the guest operating system running inside a VM, the hypervisor applications, drivers, and the microkernel itself.
Our open-source, capability-based L4Re Operating System Framework is especially well suited for providing safety and security on high-performance computers (HPC). Aside from the automotive market, our software is being deployed in many kinds of industrial and government applications, from secure networking and high-assurance cloud computing to industrial IoT and smart-home appliances.
The biggest advantage of trace-based debugging is the reduction in development time. Optimizing your system is becoming very comfortable with the run-time analysis and quality checks like code coverage.
With the L4Re Operating System we design tailor-made systems for the individual needs of our customers, focusing on real-time, security and safety. The L4Re Micro Hypervisor is a virtualization solution that ensures freedom of interference among virtual machines (VMs) on MPU based systems.
The reliable isolation of several applications is a core prerequisite for consolidating multiple functions in automotive software platforms. While the L4Re Hypervisor provides this partitioning on HPC, the L4Re Micro Hypervisor is built from the same cast and can therefore be used to provide safety features even on MPU based platforms, creating a “safety island” and opening a whole new range of possibilities for installing safety and security critical applications.
Lauterbach’s off-chip debugging solution allows access to the hardware and the L4Re Micro Hypervisor, while being aware of the memory protection unit (MPU), memory management unit (MMU) and the mechanisms protecting the hardware. It collects the states of VMs and native applications, shows breakpoints in processes and VMs and makes debugging easier by automatically displaying the correct source code and variables. Additional features are extracting high-level information from the VMs.
“We are very happy that Lauterbach extended its TRACE32 tool to tracing and debugging support for our newly developed L4Re Micro Hypervisor,” says Adam Lackorzynski, CTO of Kernkonzept GmbH. “This is a big step for us, while we keep on developing and refining our L4Re Operating System Framework for providing virtualization solutions in the automotive market and beyond.”
Demonstrations running on the NXP S32Z, ST Stellar and Arm FVP are available. The Awareness can be downloaded free of charge by all Lauterbach customers.
