Linux kernel for Raspberry Pi to be used for the PANDA detector control system.