Compiling the Linux kernel, then testing it in QEMU
Build a kernel on Arch or Debian, install it, boot it safely in QEMU, and automate the whole loop with the kernel’s own tests.
~/vajradevam · NORMAL · writing, building, and all things close to the metal
Aman Pathak — PhD scholar, hardware security. RISC-V, side channels, low-level software.
~/vajradevam ❯ cat build.rs
// Tells cargo where the researcher is.
pub struct Vajradevam {
name: "Aman Pathak",
role: "PhD scholar · hardware security",
place: "BITS Pilani, KK Birla Goa Campus",
focus: ["RISC-V", "side channels", "formal verification"],
editor: "vim", // non-negotiable
}
fn main() {
println!("cargo:rustc-link-lib=static=metal");
}
19 publications
6 patents filed
45 projects
9 journal entries
I break processors for a living and build things from scratch for fun. Day job: microarchitectural side channels, cache coherency you can prove things about, and security-aware certification for RISC-V. After hours: a TCP/IP stack, a malloc, a container runtime, a 6502 — no layer of the stack is safe.
" ====================================
" Netrw Directory Listing (~/vajradevam)
" ====================================
about/ " who, experience, skills research/ " 19 publications, 6 patents, active threads projects/ " 45 things built from scratch blog/ " 9 journal entries writings/ " longer-form pdfs
latest entries
Rebuilding this site with Astro
Why this site moved from Jekyll to Astro, what changed under the hood, and how posts work now.
Compiling and Running the Linux Kernel
Build and boot a vanilla Linux kernel from kernel.org on Arch and Debian-based systems. Exact commands only.
featured repos
whale · vajrip · memoria · nook · mridu · commodore64 — full listing.