Posts

Validating the FMLP Protocol in RTEMS: Inside the Test Suites Mar 04, 2026

Bringing the Flexible Multiprocessor Locking Protocol (FMLP) into the strict RTEMS 7 SMP SuperCore requires rigorous proof. It is not enough that the …

The Upstream Game: Refining the FMLP Port Jan 28, 2026

Writing code is easy. getting it merged is hard. After getting FMLP working, I faced the reality of upstreaming code to a major open-source project …

Inside the Kernel: Architecting FMLP for RTEMS 7 Jan 27, 2026

The goal was clear: Introduce the Flexible Multiprocessor Locking Protocol (FMLP) into the RTEMS 7 SMP SuperCore. But bridging the gap between a 2020 …

How I Crashed RTEMS: The MrsP Experiment Jan 20, 2026

Before I could even think about implementing FMLP, I had to understand the beast I was dealing with. The RTEMS 7 SMP SuperCore is strict. Very strict. …

Fixing a Race Condition in the rtl8723bs Driver Jan 11, 2026

I was digging through the drivers/staging/rtl8723bs code when I spotted something off in the packet transmission path. The function update_attrib …