CIP - CFS - CML
Certifiable IP Stack - Certifiable File System - Certifiable Math Library
PikeOS
Certifiable File System (CFS)
The CFS is a PikeOS component that provides a fail-safe file system with more functionality than the PikeOS native file system. In addition to the basic file operations implemented by the internal PikeOS file providers, the CFS can also handle directories and file manipulations. It is still a simplified file system compared to standard Linux file systems and is certifiable within the scope of Safety projects.