compiling user-defined BIOS into a distributable bin file

I would like to compile my user-defined BIOS for distribution to the customer to use RFU to load into their flash. I have not found from the manuals a way to build the BIOS into a distributable binary file. So far I only see pilot.bin and coldboot.bin that was included with the DynamicC in the Bios directory.

Would like to know if anyone have tried loading their user-defined BIOS through RFU and if so, can you give me a lead on what to look for?

I am using DynamicC 9.62 with a BL2600 board (Rabbit 3200 chip)