https://github.com/JGiraldo29/vekos Skip to content Navigation Menu Toggle navigation Sign in * Product + GitHub Copilot Write better code with AI + Security Find and fix vulnerabilities + Actions Automate any workflow + Codespaces Instant dev environments + Issues Plan and track work + Code Review Manage code changes + Discussions Collaborate outside of code + Code Search Find more, search less Explore + All features + Documentation + GitHub Skills + Blog * Solutions By company size + Enterprises + Small and medium teams + Startups By use case + DevSecOps + DevOps + CI/CD + View all use cases By industry + Healthcare + Financial services + Manufacturing + Government + View all industries View all solutions * Resources Topics + AI + DevOps + Security + Software Development + View all Explore + Learning Pathways + White papers, Ebooks, Webinars + Customer Stories + Partners + Executive Insights * Open Source + GitHub Sponsors Fund open source developers + The ReadME Project GitHub community articles Repositories + Topics + Trending + Collections * Enterprise + Enterprise platform AI-powered developer platform Available add-ons + Advanced Security Enterprise-grade security features + GitHub Copilot Enterprise-grade AI features + Premium Support Enterprise-grade 24/7 support * Pricing Search or jump to... Search code, repositories, users, issues, pull requests... Search [ ] Clear Search syntax tips Provide feedback We read every piece of feedback, and take your input very seriously. [ ] [ ] Include my email address so I can be contacted Cancel Submit feedback Saved searches Use saved searches to filter your results more quickly Name [ ] Query [ ] To see all available qualifiers, see our documentation. Cancel Create saved search Sign in Sign up Reseting focus You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} JGiraldo29 / vekos Public * Notifications You must be signed in to change notification settings * Fork 1 * Star 65 Source tree for the Verified Experimental Kernel Operating System, or VEKOS. License Apache-2.0 license 65 stars 1 fork Branches Tags Activity Star Notifications You must be signed in to change notification settings * Code * Issues 2 * Pull requests 0 * Actions * Projects 0 * Security * Insights Additional navigation options * Code * Issues * Pull requests * Actions * Projects * Security * Insights JGiraldo29/vekos main BranchesTags [ ] Go to file Code Folders and files Name Name Last commit Last commit message date Latest commit History 17 Commits .cargo .cargo src src .gitignore .gitignore Cargo.lock Cargo.lock Cargo.toml Cargo.toml LICENSE LICENSE README.md README.md x86_64-vekos.json x86_64-vekos.json View all files Repository files navigation * README * Apache-2.0 license VEKOS - Verified Experimental Kernel Operating System Version Status Language VEKOS is an experimental operating system written in Rust that focuses on verification and security at its core. This is the first alpha release (v0.0.1) that demonstrates the basic architecture and key features of the system. Watch the OS showcase by clicking on the thumbnail Watch the video VEKOS Key Features * Verified Operations: Every filesystem and memory operation is cryptographically verified using a proof system * Secure Memory Management: Buddy allocator with memory zones and COW (Copy-On-Write) support * Modern Shell: Basic shell implementation with command history and line editing * Filesystem: Verified filesystem (VKFS) with Merkle tree verification * Process Management: Basic process management with scheduling and signals * Hardware Support: x86_64 architecture support with proper GDT, IDT, and interrupt handling Current Functionality * Memory Management + Buddy allocation system + Page table management + Memory zones (DMA, Normal, HighMem) + Copy-on-Write support + Memory pressure handling * Filesystem + Basic filesystem operations (create, read, write, delete) + Directory support + Verification using Merkle trees + Buffer cache system + Inode management * Process Management + Basic process creation and management + Simple scheduler + Signal handling + Process groups and sessions * Shell + Command history + Line editing + Basic built-in commands (cd, ls, pwd, help, clear) + Command parsing with quote handling * Security Features + Operation verification through cryptographic proofs + State transition validation + Memory isolation + Privilege levels Building Prerequisites * Rust nightly toolchain * cargo-xbuild for cross-compilation * QEMU for testing (optional) Build Instructions # Clone this repository git clone https://github.com/JGiraldo29/vekos.git cd vekos # Build the kernel cargo build # Run in QEMU (if installed) cargo run Contributing VEKOS is in its early stages and welcomes contributions. Here are some areas where you can help: 1. Core Features + Expanding filesystem capabilities + Improving process scheduling + Adding device drivers + Enhancing memory management 2. Documentation + Code documentation + Architecture documentation + User guides 3. Testing + Unit tests + Integration tests + Performance benchmarks 4. Bug Fixes + Report issues + Submit pull requests + Help with code review Contributing Guidelines 1. Fork the repository 2. Create a feature branch 3. Write clean, documented code 4. Ensure all tests pass 5. Submit a pull request Known Limitations As this is an alpha release (0.0.1), there are several limitations: * Limited hardware support * Basic device driver support * Experimental verification system * Limited filesystem features * Basic shell functionality * Unsecure code Future Plans * Extended hardware support * Network stack implementation * Enhanced security features * GUI support * Extended system calls * Improved documentation License Apache-2.0 license Acknowledgments * The Rust programming language team * Contributors to the project Contact jgiraldonocua@gmail.com --------------------------------------------------------------------- Note: VEKOS is currently in alpha stage (0.0.1). While it demonstrates core functionality, it should not be used in production environments. This is an experimental system focused on exploring verification techniques in operating system design. About Source tree for the Verified Experimental Kernel Operating System, or VEKOS. Resources Readme License Apache-2.0 license Activity Stars 65 stars Watchers 1 watching Forks 1 fork Report repository Releases No releases published Packages 0 No packages published Languages * Rust 100.0% Footer (c) 2024 GitHub, Inc. Footer navigation * Terms * Privacy * Security * Status * Docs * Contact * Manage cookies * Do not share my personal information You can't perform that action at this time.