I have always wondered what happens when we enter the kernel from userspace: what preparations does the hardware meet when the userspace to kernel space switch instructions are executed and back, and what does the kernel do when it executes a system call. There are...
The effort to merge the real-time preemption patch into the mainline kernel requires to refactor existing infrastructure in the kernel. Such refactoring work is intrusive and potentially disruptive. This talk will take a close look at recent refactoring work and...
Self learning is underrated in the modern era of education. While kernel being the heart of an operating system, traditional universities [in India] are still far away from teaching anything more than the definition of Linux Kernel. The talk will mostly focus on my...
Modeling parts of Linux has become a recurring topic. For instance, the memory model, the model for PREEMPT_RT synchronization, and so on. But the term “formal model” causes panic for most of the developers. Mainly because of the complex notations and reasoning that...
In 2020, the University of Minnesota was found to have submitted a number of hypocrite commits to the Linux kernel development community in an attempt to prove that the kernel development model was insecure. Because of this, the University was banned from future...
