Bachelor Thesis: Porting Code from Internal Research Kernel to Open-Source eduOS for University OS Course
By
stv0g
Toasted golden, schmeared with insight. Top of the rack.
Summary
The author reflects on their bachelor thesis work, which involved porting code from an internal research kernel to the open-source eduOS kernel used for operating system course demonstrations at their university. The article serves as an extended abstract or preview of their thesis work, with plans for a more detailed blog post in the future. The content focuses on the technical transition from proprietary to open-source educational software.
Key quotes
· 4 pulledAlmost fourteen months ago, I started working on my bachelor thesis.
I'm now happy that we were able to port it to an open source kernel called eduOS.
This minimal operating system is used for practical demo's and assignments during the OS course at my university.
There's much more I could write about. So this will probably be another separate blog post.
You might also wanna read
tiny-vllm: An Open-Source C++ and CUDA LLM Inference Engine with Educational Course
This article presents tiny-vllm, an open-source project that provides both a full C++ and CUDA implementation of a high-performance LLM infe
Understanding Linux Kernel Internals: A Walk Through the Boot Process
This article introduces a series on Linux kernel internals, starting with the boot process. It explains what happens between pressing the po
FreeBSD Device Drivers: From First Steps to Kernel Mastery - Free Open-Source Book (Version 2.0)
A free, open-source book titled "FreeBSD Device Drivers: From First Steps to Kernel Mastery" by Edson Brandi (Version 2.0, April 2026). The
Xikipedia: A Local Algorithmic Feed Using Simple Wikipedia Content
Xikipedia is a demonstration project that creates a pseudo social media feed algorithmically showing content from Simple Wikipedia. It demon
The Concise TypeScript Book: A Free Open-Source Guide for TypeScript Development
This is a GitHub repository page for "The Concise TypeScript Book" by gibbok. It's a free and open-source guide focused on effective develop
Mathlib4: The Mathematical Library for Lean 4 Theorem Prover
Mathlib4 is the mathematical library for the Lean 4 theorem prover, containing programming infrastructure, mathematical content, and develop
