> I am writing for an ARM procesor without an OS.
Sounds like it doesn't have a file system either.
The only thing I can think of is compile the axf file into your code as a data array
Code:
unsigned char axf_file1[] = {
0x00, 0x01, /* etc etc */
};
Then it's simply a matter of casting some offset into that array into some suitable function pointer.
Is your ARM processor one of those with separate address spaces for code and data?
If it is, you need to do something like this (gcc syntax)
Code:
unsigned char axf_file1[] __attribute__ ((section ("code"))) = {
0x00, 0x01, /* etc etc */
};
to make sure the initialised array exists somewhere which is valid for code.