Díky Fuente za reakci. Ale asi jsme si nerozuměli - já se neptám na formát souboru RBF (jako třeba EXE, GIF, DOC), ale na systém souborů (jako třeba FAT32, NTFS, Ext3). A v tom mi žádnej konvertor nepomůže.

Na FAQ jsem se díval, doporučují tam ten komerční OS9MAX, kterému se chci vyhnout.