├── .cargo └── config.toml ├── .gitignore ├── .idea ├── inspectionProfiles │ └── Project_Default.xml ├── modules.xml ├── rust.xml ├── vcs.xml ├── vekos.iml └── workspace.xml ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── assets └── font8x16.bin ├── programs └── VETests ├── rust-toolchain ├── rust-toolchain.txt ├── src ├── allocator.rs ├── block_cache.rs ├── boot_splash.rs ├── boot_verification.rs ├── buddy_allocator.rs ├── buffer_manager.rs ├── crypto.rs ├── elf.rs ├── font.rs ├── framebuffer.rs ├── fs.rs ├── gdt.rs ├── hash.rs ├── hash_chain.rs ├── inode_cache.rs ├── interrupts.rs ├── key_store.rs ├── main.rs ├── memory.rs ├── merkle_tree.rs ├── operation_proofs.rs ├── page_table.rs ├── page_table_cache.rs ├── priority.rs ├── process.rs ├── proof_storage.rs ├── scheduler.rs ├── scheduler_ml.rs ├── serial.rs ├── shell │ ├── commands │ │ ├── ls.rs │ │ └── mod.rs │ ├── display.rs │ ├── executor.rs │ ├── mod.rs │ └── parser.rs ├── signals.rs ├── swap.rs ├── syscall.rs ├── time.rs ├── tsc.rs ├── tty.rs ├── verification.rs ├── vga_buffer.rs └── vkfs.rs └── x86_64-vekos.json /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /.idea -------------------------------------------------------------------------------- /.idea/inspectionProfiles/Project_Default.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.idea/inspectionProfiles/Project_Default.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/rust.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.idea/rust.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /.idea/vekos.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.idea/vekos.iml -------------------------------------------------------------------------------- /.idea/workspace.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/.idea/workspace.xml -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/README.md -------------------------------------------------------------------------------- /assets/font8x16.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/assets/font8x16.bin -------------------------------------------------------------------------------- /programs/VETests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/programs/VETests -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2024-11-13" 3 | -------------------------------------------------------------------------------- /rust-toolchain.txt: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2024-11-13" 3 | -------------------------------------------------------------------------------- /src/allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/allocator.rs -------------------------------------------------------------------------------- /src/block_cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/block_cache.rs -------------------------------------------------------------------------------- /src/boot_splash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/boot_splash.rs -------------------------------------------------------------------------------- /src/boot_verification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/boot_verification.rs -------------------------------------------------------------------------------- /src/buddy_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/buddy_allocator.rs -------------------------------------------------------------------------------- /src/buffer_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/buffer_manager.rs -------------------------------------------------------------------------------- /src/crypto.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/crypto.rs -------------------------------------------------------------------------------- /src/elf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/elf.rs -------------------------------------------------------------------------------- /src/font.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/font.rs -------------------------------------------------------------------------------- /src/framebuffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/framebuffer.rs -------------------------------------------------------------------------------- /src/fs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/fs.rs -------------------------------------------------------------------------------- /src/gdt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/gdt.rs -------------------------------------------------------------------------------- /src/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/hash.rs -------------------------------------------------------------------------------- /src/hash_chain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/hash_chain.rs -------------------------------------------------------------------------------- /src/inode_cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/inode_cache.rs -------------------------------------------------------------------------------- /src/interrupts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/interrupts.rs -------------------------------------------------------------------------------- /src/key_store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/key_store.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/memory.rs -------------------------------------------------------------------------------- /src/merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/merkle_tree.rs -------------------------------------------------------------------------------- /src/operation_proofs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/operation_proofs.rs -------------------------------------------------------------------------------- /src/page_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/page_table.rs -------------------------------------------------------------------------------- /src/page_table_cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/page_table_cache.rs -------------------------------------------------------------------------------- /src/priority.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/priority.rs -------------------------------------------------------------------------------- /src/process.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/process.rs -------------------------------------------------------------------------------- /src/proof_storage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/proof_storage.rs -------------------------------------------------------------------------------- /src/scheduler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/scheduler.rs -------------------------------------------------------------------------------- /src/scheduler_ml.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/scheduler_ml.rs -------------------------------------------------------------------------------- /src/serial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/serial.rs -------------------------------------------------------------------------------- /src/shell/commands/ls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/shell/commands/ls.rs -------------------------------------------------------------------------------- /src/shell/commands/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/shell/commands/mod.rs -------------------------------------------------------------------------------- /src/shell/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/shell/display.rs -------------------------------------------------------------------------------- /src/shell/executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/shell/executor.rs -------------------------------------------------------------------------------- /src/shell/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/shell/mod.rs -------------------------------------------------------------------------------- /src/shell/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/shell/parser.rs -------------------------------------------------------------------------------- /src/signals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/signals.rs -------------------------------------------------------------------------------- /src/swap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/swap.rs -------------------------------------------------------------------------------- /src/syscall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/syscall.rs -------------------------------------------------------------------------------- /src/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/time.rs -------------------------------------------------------------------------------- /src/tsc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/tsc.rs -------------------------------------------------------------------------------- /src/tty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/tty.rs -------------------------------------------------------------------------------- /src/verification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/verification.rs -------------------------------------------------------------------------------- /src/vga_buffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/vga_buffer.rs -------------------------------------------------------------------------------- /src/vkfs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/src/vkfs.rs -------------------------------------------------------------------------------- /x86_64-vekos.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JGiraldo29/vekos/HEAD/x86_64-vekos.json --------------------------------------------------------------------------------