Firmware's unrelated; a program can be compiled with the SDL library an external file, or statically linked where all needed functionality from SDL is integrated into the executable itself. The only thing I can think of that wasn't statically linked were some of NK's ancient emulator releases from when the GP2X first came out.