Operating System Services

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

From Design and Deployment over to life-cycle Management

Kernkonzept’s Services

Our customer’s products are protecting sensitive information, public infrastructure, and people’s lives. More and more devices are connected to the Internet, use applications from the cloud or are remotely controlled over the Internet. This exposure significantly increases the attack surface for an invader and even stronger demands for a thorough security architecture. To ensure cybersecurity as well as IT security, it is mandatory for manufacturers, system designs and users to deploy secure computer systems only. We at Kernkonzept will support you with designing and building secure and safe systems.

Customer centric

Individual Consulting

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 to work on L4Re back in university, I’m excited to solve problems by employing L4Re. Today, I do this every day as key-account engineer for our customers.

Matthias, Customer Success Engineer

System architecture and system Design

Consulting

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 therefor 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 touch

Do you have questions?

Please contact us, we’re eager to hear from you!

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.

for you

Workshops and Trainings

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:

Right on the SPOT

Trainings for You

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.

Basic

Trainings

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.

Advanced

Trainings

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.

Special

Trainings

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 touch

Do you have questions about our trainings?

Please contact us, we’re eager to hear from you!