Simulates a hypervisor and a real-time OS (RTOS) in user-space. Designed for learning — not a real hypervisor.
- Toy hypervisor that manages multiple partitions (guests) and dynamically assigns CPU quotas.
- Toy RTOS that runs inside each partition: simple preemptive scheduler (rate-monotonic style).
- Inter-partition message passing via a hypervisor-provided channel.
- Demonstrates concepts: partitioning, scheduling, memory quotas, context switching (simulated), and simple verification hooks.
- Ubuntu (x86_64) laptop.
- g++ (supporting C++17), make, python3 (for packaging).
- No root required — runs entirely in user-space.
# build
make
# run
./bin/toy_hv_rtsrc/- C++ source code (hypervisor, rtos, demo).Makefile- build rules.test/- simple input scenarios (not needed to run).
This repo is intentionally small and well-documented. Use it to:
- Talk through OS/hypervisor.
- Modify schedulers, memory policies, and verification (e.g., simple assertions).