xen-project / mini-osLinks
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
☆21Updated 9 years ago
Alternatives and similar repositories for mini-os
Users that are interested in mini-os are comparing it to the libraries listed below
Sorting:
- ☆29Updated 9 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 2 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- deprecated☆46Updated 6 years ago
- VMI on BitVisor to detect hidden rootkits.☆27Updated 8 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- QXL-WDDM-DOD☆20Updated 6 years ago
- Simple Library calls tracer☆22Updated 7 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- microVM☆51Updated 10 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆35Updated 8 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Updated 4 years ago
- deprecated☆19Updated 6 years ago
- A Linux based Windows compatible user mode kernel☆59Updated 16 years ago
- Operating System project: basic x64 Kernel Implementation with the ability to load extra binary modules separated from the main kernel.☆16Updated 9 years ago
- Basic tools for building seL4 projects☆50Updated 2 months ago
- My research environment based off of Microsoft's Singularity RDK/ Verve.☆14Updated 8 years ago
- Securing Data Analytics on Intel SGX using Randomization☆12Updated 8 years ago
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Updated 5 years ago
- Memory management is one of the most important parts of the operating system. KSM (Kernel Samepage Merging) in Linux kernel is a kind of…☆13Updated 7 years ago
- x64 smp operating system☆12Updated 5 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 5 months ago
- The x86_64 UEFI bootloader for rCore☆43Updated 3 years ago
- XFS readonly driver for Windows☆15Updated 13 years ago
- Fork of http://code.nsnam.org/thehajime/elf-loader/ for unlimited dlmopen namespaces☆21Updated 2 years ago
- ☆92Updated last year
- An Multiboot Compliant X64 SMP Operating Systems☆14Updated 12 years ago
- libs2e.so☆19Updated 4 years ago