# thirdparty_pok

**Repository Path**: litechaos/thirdparty_pok

## Basic Information

- **Project Name**: thirdparty_pok
- **Description**: POK kernel. Safe and secure for safety-critical systems.
- **Primary Language**: Unknown
- **License**: BSD-2-Clause
- **Default Branch**: litechaos
- **Homepage**: https://pok-kernel.github.io/
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2023-05-12
- **Last Updated**: 2023-05-13

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

[![Code Quality Score](https://www.code-inspector.com/project/12/score/svg)](https://www.code-inspector.com/public/project/12/POK/dashboard)
[![Code Grade](https://www.code-inspector.com/project/12/status/svg)](https://www.code-inspector.com/public/project/12/POK/dashboard)
[![Build status](https://travis-ci.org/pok-kernel/pok.svg?master)](https://travis-ci.org/pok-kernel)

POK
===

POK kernel, a secure and safe micro-kernel for embedded systems.

More information on https://pok-kernel.github.io/

We prefer the GitHub issue tracker to be used for bug reports, questions and suggestions. Support requests and collaboration proposals can be sent to `pok-maintainers@listes.telecom-paris.fr`.