Software engineering Services

We accompany our customers over the complete life cycle of their products, with individual consulting, software development, support and trainings.

Kernkonzept Services

From Design and Deployment to life-cycle Management

Our services: customized to your needs

Our customers’ products are protecting sensitive information, public infrastructure, and people’s lives. More and more devices are connected to the internet, are using applications from the cloud or are being remotely controlled over the internet. This exposure significantly increases the attack surface for invaders and demands for a thorough security architecture. To ensure cybersecurity as well as IT security, it is mandatory for manufacturers, system designers and users to only deploy secure computer systems. Kernkonzept supports you with designing and building secure and safe systems.

Customer centric

Individual guidance

We support and accompany you in each phase of the product life cycle. From the first sketches until maintenance we provide you with consulting, software development, support, and maintenance services. Moreover, we support you with workshops and trainings to enable you and your team so that you can fully exploit the L4Re Operating System Framework.

Your central contact at Kernkonzept will be an experienced systems engineer. This simplifies the communication between the development teams on both sides and helps you to get better results faster.

Since I started working on L4Re at university, I’ve been excited about solving problems by using L4Re. Today, I do that every day as a key account engineer for our customers.

Matthias, Customer Success Engineer

Kernkonzept Matthias Lange Senior Operating System Engineer

System architecture and system Design


Finding the right system architecture for a new product is a tedious and complex endeavor. While open questions are manifold and involve many stakeholders, budgets and project plans for time-to-market are tight. Often, it’s not only about finding the right software architecture, but also includes the design, development, or composition of the right hardware platforms and components.

Further, the obligation for accreditation of products intensifies the complexity of the project. The whole trusted computing base (TCB) of the computer system must be approved, which includes all the source lines of code in the TCB as well. We will advise you on how to reach your goals, from maximizing performance to minimizing the TCB and therefore also minimizing the certification efforts and time needed.

The computer system itself is an integral part of the system architecture and is central to many design and implementation decisions. The interaction between the different components is complex, and becoming highly challenging to integrate them smoothly. That’s why it is crucial to start your product development from that overall perspective from day one.

Our highly skilled and experienced system engineers with their more than 20 years of experience in operating system technologies consult you on the design options between Linux and other prevalent systems as well as microkernel-based approaches, such as L4Re, in combination with different hardware platforms and all common architectures (ARM, x86, MIPS, RISC-V).

We consult you on

in order to

Get in Contact

How can we help you?

Our CTO Adam has been consulting our loyal customers for years. He is happy to hear from you.

Kernkonzept Customized Services

Operating System and software component development

Software component development

Our team of Operating System Engineers builds individual, tailor-made operating system solutions and virtualization solutions. We support you during every step of your product development process and product life cycle. This encompasses conception, architecture, and design as well as implementation and testing. Market-specific aspects required for security and safety certifications such as Common Criteria EAL, Automotive SPICE, MISRA, and ASIL are considered by us from the beginning which reduces your costs and time-to-market.

Full-spectrum development

Development portfolio

To develop the suitable computer system for you, we design and develop

Long-Term Support and maintenance

Support and maintenance

We continue supporting you and your team during the integration and for your on-site development. We offer support and maintenance plans for when your product ships and is deployed in the field. These plans include

In urgent cases, we will come to your premises and work hand-in-hand with you until the problem is fixed.

Get in Contact

Book our support

Andreas and his experienced colleagues are working hard to keep your system running smoothly. Just ask for assistance.

Sharing our knowledge

L4Re workshops

With our unique experience with the L4Re Operating System Framework we support you with workshops and trainings so that you can understand and work with your L4Re solution.

Our experience is unparalleled in the industry and our trainings are held by highly experienced senior engineers. They help you to gain the knowledge and insights you need.

Hands-on and tailor-made

Like everything we do all of our trainings focused on your goals and your use cases. In a pleasant atmosphere you can make rapid progress. Our trainings consist of hands-on assignments and practical tasks as well as all the theory and prerequisites that are required.

We offer you the most convenient way to train your team. You can choose between remote and in-house trainings or trainings in Dresden – Europe’s operating system capital and Kernkonzept’s headquarters.

What to expect

Topics of our workshops and trainings include:

Exactly what you need

Individual trainings

We offer a wide range of basic and specialist trainings to make you and your team familiar with the L4Re Operating System Framework. Like everything we do, all our trainings are focused on your goals and your use cases.



Getting started with L4re

If you want to become acquainted with the L4Re Operating System Framework and do your first steps, we offer basic trainings that provide you with an introduction and an overview. The courses cover everything from the first steps to running virtual machines with the L4Re Operating System Framework.



Deepen your knowledge

You already use L4Re solutions in your products and want to facilitate and educate your developers to build your own system solutions with the open-source L4Re Operating System Framework? Then our advanced trainings offer a wide choice of topics, comprising developing, building, and debugging your own components or creating your own system architecture. With the training you can increase the value of your investment into an L4Re-based solution.



Focus on your challenge

If you need to qualify your team for clearly defined use cases like virtualization, or safety and security certifications we offer tailor-made trainings and workshops. This will give you and your team a head start to build your L4Re system solution faster.

Get in Contact

Book a workshop

As customer success engineer Matthias has trained lots of teams and people in using L4Re. He is happy to teach you, too.