Adam Lackorzynski

Safe and Secure Heterogeneous Compute with L4Re

Today’s embedded systems cover an increasingly large set of functionality and features, consisting of multiple, different processors and subsystems. Those heterogeneous systems run different kinds of operating systems and hypervisors, making it a challenge to flexibly place applications across the whole platform. With L4Re, we abstract from the hardware and provide common interfaces for applications across different kinds of processors. Thereby we enable system integrators to design their system such that hardware as well as software components can be optimized for a given use-case. At the same time the common interfaces allow for rapid, near seamless adaptation when hardware or software requirements change. L4Re is being certified for both security and safety for use in security appliances, automotive and similar use-cases. This talk will present the challenges posed by providing common abstractions for modern heterogeneous architectures and will show how the L4Re Operating System Framework and Hypervisor addresses them.  

back to overview

Watch Recording
 

Biography

Dr.-Ing. Adam Lackorzynski is a post-doctoral researcher at Technische Universität Dresden and a co-founder of Kernkonzept, the technology company behind the L4Re microkernel-based operating system framework. Adam received his Ph.D. in computer science from TU Dresden. His research interests focus on secure operating system construction for real-time and virtualization use-cases for different areas. Adam can draw on over 20 years of experience in system security and virtualization. At Kernkonzept he serves as the CTO and brings the secure and open source L4Re Operating System Framework into security and safety products.