Information / Documentation

Further information and documentation can be found on the following pages.

• L4Re IPC Performance
• FAQ
• Screen casts to watch
• BSP Porting Guide
• L4Re Documentation ↝
• The L4Re Microkernel ↝
• L4Linux - Linux running as an L4Re Application ↝
• Wiki ↝ (not very populated)

• The Raspberry Pi and L4Re.
• How to poke (L4)Images
• Running QEMU's output through minicom.

Older information:

• Information for L4Re's predecessor L4Env

Research papers on L4Re-related topics:

• FFMK: An HPC OS based on the L4Re Microkernel
  Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
  In Robert W. Wisniewski, Balazs Gerofi, Rolf Riesen, Yutaka Ishikawa (eds) Operating Systems for Supercomputers and High Performance Computing, October 2019
  HTML
• Lateral Thinking for Trustworthy Apps
  Hermann Härtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski
  Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, Georgia, USA, June 2017
  PDF
• Predictable Low-Latency Interrupt Response with General-Purpose Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2017), Dubrovnik, Kroatia, June 2017
  PDF
• Combining Predictable Execution with Full-Featured Commodity Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2016), Toulouse, France, July 2016
  PDF
• Decoupled: Low-Effort Noise-Free Execution on Commodity Systems
  Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
  Runtime and Operating Systems for Supercomputers (ROSS 2016), Kyoto, Japan, June 2016
  PDF
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?
  Till Smejkal, Adam Lackorzynski, Benjamin Engel, Marcus Völp
  Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2015), Lund, Sweden, July 2015
  PDF
• Flattening Hierarchical Scheduling
  Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig
  International Conference on Embedded Software (EMSOFT'12), Tampere, Finland, October 2012
  PDF
• Rounding Pointers - Type Safe Capabilities with C++ Meta Programming
  Alexander Warg and Adam Lackorzynski
  Sixth Workshop on Programming Languages and Operating Systems, Cascais, Portugal, October 2011
  PDF
• Towards Modular Security-Conscious Virtual Machines
  Steffen Liebergeld, Michael Peter and Adam Lackorzynski
  Twelfth Real-Time Linux Workshop 2010, Nairobi, Kenya, October 2010
  PDF
• Generic Virtualization with Virtual Processors
  Adam Lackorzynski, Alexander Warg and Michael Peter
  Twelfth Real-Time Linux Workshop 2010, Nairobi, Kenya, October 2010
  PDF
• ARM TrustZone as a Virtualization Technique in Embedded Systems
  Torsten Frenzel, Adam Lackorzynski, Alexander Warg and Hermann Härtig
  Twelfth Real-Time Linux Workshop 2010, Nairobi, Kenya, October 2010
  PDF
• L4 technology by TUD:OS
  Hermann Härtig, Michael Roitzsch and Adam Lackorzynski
  ARTIST Summer School Europe 2010, Autrans near Grenoble, France, September 2010
  PDF
• Stay strong, stay safe - enhancing reliability of a secure operating system
  Dirk Vogt, Björn Döbel and Adam Lackorzynski
  IIDS'10: Workshop on Isolation and Integration for Dependable Systems (Eurosys 2010 affiliated workshop) , April 2010
  PDF
• Faithful Virtualization on a Real-Time Operating System
  Henning Schild, Adam Lackorzynski, Alexander Warg
  Eleventh Real-Time Linux Workshop 2009, September 2009
  PDF
• Taming Subsystems - Capabilities as Universal Resource Access Control in L4
  Adam Lackorzynski, Alexander Warg
  IIES'09: Second Workshop on Isolation and Integration in Embedded Systems (Eurosys 2009 affiliated workshop) , March 2009
  PDF
• Virtual Machines Jailed - Virtualization in Systems with Small Trusted Computing Bases
  Michael Peter, Henning Schild, Adam Lackorzynski, Alexander Warg
  VTDS'09: Workshop on Virtualization Technology for Dependable Systems (Eurosys 2009 affiliated workshop) , March 2009
  PDF
• L4 - Virtualization and Beyond
  Hermann Härtig, Michael Roitzsch, Adam Lackorzynski, Björn Döbel, Alexander Böttcher
  Korean Information Science Society Review, December 2008
  PDF
• Virtualization as an enabler for security in mobile devices
  Jörg Brakensiek and Axel Dröge and Martin Botteck and Hermann Härtig and Adam Lackorzynski
  IIES '08: Proceedings of the 1st workshop on Isolation and integration in embedded systems, Pages 17--22, ISBN 978-1-60558-126-2, Glasgow, Scotland , April 2008
  

To reach out for a human please mail to the info address of l4re.org.

---