rPi with GCC 4.7 is neither firmware nor bare metal. GCC 4.7 is almost 15 years old.
Not firmware sure, but if one boots the Pi from the software that's just as bare metal as anything else. And the age of the GCC version is completely irrelevant to whether something is bare metal.
alt Hacker News
Not firmware sure, but if one boots the Pi from the software that's just as bare metal as anything else. And the age of the GCC version is completely irrelevant to whether something is bare metal.