operating-system-kernel-development

Here is 1 public repository matching this topic...

georgiabasa / project_security

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

Add this topic to your repo

To associate your repository with the operating-system-kernel-development topic, visit your repo's landing page and select "manage topics."

Learn more