It boots (Linux compatible kernel)

#1

Post by jgarzik » Sat, Dec 20, 2025, 5:07 AM UTC

Re: It boots (Linux compatible kernel)

#2

Post by jgarzik » Sat, Dec 20, 2025, 5:07 AM UTC

I always wanted a kernel where I can experiment with the device driver model, eBPF, device tree and more. Now I've built one:

#3

Post by sandruso » Sat, Dec 20, 2025, 9:55 PM UTC

What was you approach? Where one starts such a project?

#4

Post by wswope » Sat, Dec 20, 2025, 10:03 PM UTC

jgarzik wrote: post #2

I always wanted a kernel where I can experiment with the device driver model, eBPF, device tree and more. Now I've built one:

Helluva project — congrats on getting it running!

#5

Post by jgarzik » Sun, Dec 21, 2025, 7:17 AM UTC

sandruso wrote: post #3

What was you approach? Where one starts such a project?

Early boot and early page table setup, logging single characters to simulated serial console.

Then keep adding tests/features/tests/features/...