SCALE: Marshmallow on Raspberry Pi

by the way, you can also write your own boot blob. There are people running the Pi hardware with their own OS developed from scratch who don't use the Pi boot blob. They aren't running Linux, and are little more than 'hello world' OSs, but it's being done.