Én csak egy cikket olvastam róla futólag cirka pár éve. És lehet, hogy nem is a Pi-ről szólt a cikk :-) Tőlem lehet jól dokumentált is, akkor sem tudnám. Egyébként meg ott kezdődik a kérdés, hogy _melyik_ Raspberry Pi, mert már talán négy változat is van különböző processzorokkal.
Szerk.: Kicsit utána olvastam, és valamivel kevertem, mert az RPI-nek nincs ilyen funkciója. Viszont talán lehetne olyat hegeszteni rá, hogy a Linux csak 3 magot használjon a 4-ből (RPI4 esetén), és egyet pedig ütemező nélkül mint egy MCU-t felprogramozva használunk. Tuti nem volna egyszerű, de izgalmas projekt volna.
Szerk.2: Itt van egy beszélgetés szál, ahol éppen ilyet akar megcsinálni egy beválallós/álmodozó valaki: https://forums.raspberrypi.com/viewtopic.php?t=113423