Open source firmware?

Shouldn’t the firmware be open source? That would at least allow people to improve upon it and add features like booting the pi when power is re-supplied to the hat.