VEKOS

-

Verified Experimental Kernel Operating System

Source code News FAQ Documentation Donate Contact us

Documentation

Welcome to the VEKOS documentation. This page is a work in progress. Please check back soon.

This site is operated by Juan Miguel Giraldo. Please send any site related questions to jgiraldo29@proton.me.

© 2025 VEKOS Project. All rights reserved.