I didn't know the Raspberry Pi ran a closed-source core OS under Linux. This, and other issues with it, are explained in this post: https://ownyourbits.com/2019/02/02/whats-wrong-with-the-raspberry-pi/