Categories linux On workings of hrtimer's slack time functionality RCU and dynticks-idle mode Single-stepping the kernel's C code RCU-preempt: What happens on a context switch USDT for reliable Userspace event tracing BPFd- Running BCC tools remotely across systems ARMv8: flamegraph and NMI support Ftrace events mechanism TIF_NEED_RESCHED: why is it needed Tying 2 voltage sources/signals together MicroSD card remote switch Linux Spinlock Internals Design of fork followed by exec in Linux kernel PowerPC stack guard false positives in Linux kernel On workings of hrtimer's slack time functionality RCU and dynticks-idle mode Single-stepping the kernel's C code RCU-preempt: What happens on a context switch USDT for reliable Userspace event tracing BPFd- Running BCC tools remotely across systems ARMv8: flamegraph and NMI support Ftrace events mechanism TIF_NEED_RESCHED: why is it needed Linux Spinlock Internals Design of fork followed by exec in Linux synchronization Understanding Hazard Pointers SRCU state double scan Studying cache-line sharing effects on SMP systems locking Making sense of scheduler deadlocks in RCU Linux Spinlock Internals embedded Tying 2 voltage sources/signals together MicroSD card remote switch electronics Tying 2 voltage sources/signals together MicroSD card remote switch scheduler Making sense of scheduler deadlocks in RCU RCU-preempt: What happens on a context switch TIF_NEED_RESCHED: why is it needed tracing USDT for reliable Userspace event tracing BPFd- Running BCC tools remotely across systems ARMv8: flamegraph and NMI support Ftrace events mechanism armv8 ARMv8: flamegraph and NMI support rcu Understanding Hazard Pointers SRCU state double scan Making sense of scheduler deadlocks in RCU RCU and dynticks-idle mode RCU-preempt: What happens on a context switch debugging SELinux Debugging on ChromeOS Single-stepping the kernel's C code linuxinternals Dumping User and Kernel stacks on Kernel events pluscal Modeling (lack of) store ordering using PlusCal - and a wishlist tla+ Modeling (lack of) store ordering using PlusCal - and a wishlist formalmethods Figuring out herd7 memory models Modeling (lack of) store ordering using PlusCal - and a wishlist srcu SRCU state double scan c++ C++ rvalue references timers On workings of hrtimer's slack time functionality herd7 Figuring out herd7 memory models lkmm Figuring out herd7 memory models vim Getting YouCompleteMe working for kernel development productivity Getting YouCompleteMe working for kernel development stack PowerPC stack guard false positives in Linux kernel selinux SELinux Debugging on ChromeOS svm SVM and vectors for the curious vectors SVM and vectors for the curious machinelearning SVM and vectors for the curious