An OS Project Implementing a minimal POSIX-style signal mechanism enabling inter-process notification and control via kernel-level signal handling.
-
Updated
Mar 28, 2026 - C
#
mcertikos
Here are 3 public repositories matching this topic...
This repository contains the mCertiKOS certified operating system kernel, focusing on security and formal verification using Coq and CompCert. It supports building and testing on bare-metal or QEMU environments.
ocaml coq virtualization qemu compcert formal-verification kernel-security mcertikos certified-operating-systems operating-system-kernel-development
-
Updated
Jan 3, 2025 - Coq
Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring, task scheduling and watchdog diagnostics - within a trusted computing environment. Developed as part of my diploma thesis at the University of Patras.
process-isolation diagnostics task-scheduler watchdog environmental-monitoring trusted-computing coq-proof-assistant embedded-security real-time-operating-systems mcertikos certikos formally-verified-systems autonomous-satellite-software high-assurance-systems secure-application-design critical-infrastructure-software verified-microkernel
-
Updated
Jun 23, 2025 - C
Improve this page
Add a description, image, and links to the mcertikos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mcertikos topic, visit your repo's landing page and select "manage topics."