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:
- Hypervisor implementation for x86_64 ISA MIT JOS☆35Aug 13, 2014Updated 11 years ago
- ☆14Oct 5, 2015Updated 10 years ago
- wannabe (up-to-date) 64bit port of lguest☆14May 11, 2011Updated 15 years ago
- Xvisor: eXtensible Versatile hypervISOR☆618May 22, 2026Updated last week
- Maltrace is a simple syscall tracer for Windows implemented through the use of PIN.☆24Apr 10, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- Research on DrawBridge Library OS, which is base building block for MSSQL on Linux☆26Jan 5, 2018Updated 8 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Lists work items being queued currently.☆15Jun 7, 2015Updated 10 years ago
- A hypervisor written in Rust.☆134Feb 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 10 years ago
- x64 Kernel Hooks Detection☆21Jan 1, 2017Updated 9 years ago
- Preparation for technical interviews☆28Jun 20, 2011Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆32Dec 6, 2022Updated 3 years ago
- gcc+newlib and gcc+glibc toolchains☆17Apr 12, 2019Updated 7 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆13Nov 13, 2016Updated 9 years ago
- A minimal runtime for seL4 applications.☆14Mar 31, 2026Updated last month
- Virtual Machine eXtension for JOS☆23Jul 3, 2014Updated 11 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
- FreeBSD client filesystem implementation of 9P2000.u☆13Jul 14, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/virtdbg☆98Jun 25, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Akaros operating system☆43Sep 14, 2020Updated 5 years ago
- lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI☆1,490Aug 14, 2024Updated last year
- old code from 2007/2008 which uses split TLB to trace OEP☆16Jun 16, 2018Updated 7 years ago
- Coreutils that compile into tiny binaries☆14May 7, 2015Updated 11 years ago
- ☆22Sep 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
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆32Jun 13, 2016Updated 9 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆47Jun 14, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- UNIX二十五年☆17Jun 29, 2018Updated 7 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Snazzy theme for tmux☆10Apr 6, 2021Updated 5 years ago
- ☆14Feb 27, 2017Updated 9 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- RISC-V hypervisor written in Rust☆367Dec 18, 2019Updated 6 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Mar 22, 2020Updated 6 years ago