This post describes a few of the rabbit holes I’ve been going down over the past several weeks regarding this project. Local APIC Deep Dive In the lapic_calibrate_timer function of the NetBSD sou...

In my Google Summer of Code project Port FreeBSD to QEMU microvm, I wanted to analyze the behavior of FreeBSD’s Firecracker port in GDB, as QEMU microvm is a microVM platform in the same vein. The ...

Currently, our network infrastructure can roughly be laid out as XFINITY 500 mbps download; 20 mbps upload ├── Motorola MB8611 Cable Modem │ ├── AmpliFi Router HD with 2 associated mesh points │...

We explore the NetBSD source code to discover analysis starting points, investigate the use of TSC in the MICROVM build of NetBSD, and begin looking at LAPIC timer initialization. NetBSD Source Ex...

This post discusses the current state of TSC and PV clock usage in the MICROVM build of FreeBSD, relays the basics of the cpuid instruction in x86, and gives a brief overview of TSC and PV clock in...

Tom and I had a call today discussing commit history pertaining to the NetBSD microvm implementation, viewing Git logs locally, and next steps regarding the PV clock driver. NetBSD microvm Commits...

Tom suggested to reference NetBSD for an implementation of proper TSC initialization on QEMU microvm. Before diving into the source code, I wanted to get NetBSD running in a microvm instance myself...

This post discusses the project I’m working on this summer, relevant development environment information, and initial progress on this project. Project Introduction Port FreeBSD to QEMU microvm i...