Linux Code Review Hub
Linux Code Review Hub
Jul 19, 2024 · Fundamentals

Designing Clock Drivers for an Embedded Hypervisor (Part 2)

The article explains how PRTOS implements a virtual clock for each partition by intercepting hardware timer events, outlines five key use cases, compares three x86 timer sources (Intel 8253 PIT, TSC, HPET), and details their driver implementations, per‑CPU resource handling, and SMP constraints.

Embedded HypervisorHPETIntel 8253
0 likes · 9 min read
Designing Clock Drivers for an Embedded Hypervisor (Part 2)
Linux Code Review Hub
Linux Code Review Hub
Jul 16, 2024 · Fundamentals

Designing Embedded Hypervisor Components – Part 1

This article explains how PRTOS implements a separated kernel architecture with paravirtualization, details the hardware‑dependency layer, outlines the constraints of embedded virtualization, and walks through CPU frequency calibration and interrupt‑vector initialization for x86‑based embedded hypervisors.

CPU Frequency CalibrationEmbedded HypervisorInterrupt Vector
0 likes · 15 min read
Designing Embedded Hypervisor Components – Part 1