Recipes and other materials needed to build a Plasma Bigscreen image for Raspberry Pi4 devices, using DebOS - View it on GitHub