Pedagogical Hypervisor, based on MIT JOS
☆67Mar 14, 2018Updated 8 years ago
Alternatives and similar repositories for hoss
Users that are interested in hoss are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- wannabe (up-to-date) 64bit port of lguest☆14May 11, 2011Updated 14 years ago
- ☆29Feb 28, 2016Updated 10 years ago
- Xvisor: eXtensible Versatile hypervISOR☆612Mar 20, 2026Updated last week
- Maltrace is a simple syscall tracer for Windows implemented through the use of PIN.☆24Apr 10, 2013Updated 12 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 9 years ago
- Research on DrawBridge Library OS, which is base building block for MSSQL on Linux☆25Jan 5, 2018Updated 8 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Notes my learning steps about Windows-NT☆23May 18, 2017Updated 8 years ago
- Lists work items being queued currently.☆15Jun 7, 2015Updated 10 years ago
- A hypervisor written in Rust.☆133Feb 12, 2022Updated 4 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 9 years ago
- x64 Kernel Hooks Detection☆24Jan 1, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Some of example code that I have collected while learning☆10Sep 25, 2016Updated 9 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Nov 25, 2020Updated 5 years ago
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 6 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆22Aug 28, 2022Updated 3 years ago
- Preparation for technical interviews☆28Jun 20, 2011Updated 14 years ago
- A very simple hypervisor for learning experience.☆147Oct 25, 2021Updated 4 years ago
- Notes and code for developing hobby OS's for the Raspberry PI☆28Nov 30, 2014Updated 11 years ago
- ☆12Dec 15, 2016Updated 9 years ago
- ☆33Dec 6, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆13Nov 13, 2016Updated 9 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated last year
- UEFI Hypervisor☆21Feb 1, 2016Updated 10 years ago
- Linux kernel modules developed by me for learning purposes☆19Jan 16, 2013Updated 13 years ago
- ☆14Sep 29, 2019Updated 6 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Feb 17, 2020Updated 6 years ago
- The Akaros operating system☆43Sep 14, 2020Updated 5 years ago
- lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI☆1,474Aug 14, 2024Updated last year
- old code from 2007/2008 which uses split TLB to trace OEP☆16Jun 16, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆21Sep 22, 2017Updated 8 years ago
- Likes WinIO library( http://www.internals.com/utilities_main.htm ),but WinIO library only support PS/2 keyboard, if you use USB keyboard,…☆15Feb 2, 2017Updated 9 years ago
- My experimental bare metal OS for the raspberry pi☆45Sep 8, 2014Updated 11 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Jun 13, 2016Updated 9 years ago
- Multitasking kernel for Arm/Thumb/AArch64 targets.☆48Dec 22, 2021Updated 4 years ago
- Yet another Bittorrent filesystem based on FUSE☆18May 31, 2017Updated 8 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago