Kernkonzept is a technology company: We are evolving the L4Re system, following customer demand and hardware trends, and we help our customers to apply the L4Re technology to their own platforms and products. We offer consulting, contracting, and commercial support for the L4Re system. We also offer commercial licensing for the L4Re system (in addition to the open-source licenses we offer).

We offer a wide range of consulting and support services, including:

  • System architecture design and review
  • Programming services
  • Scoping
  • Project management
  • Training
  • Introductory courses and workshops

We typically operate under service contracts that give our customers maximum flexibility. Maintenance contracts with guaranteed response times are offered as well.

Please contact us at or via phone at +49 351 41 888 611.


L4Re is available under open-source licenses (mostly GPLv2). Other licensing options are available; please contact us for further information.