On 5 April 2013 10:19, Fabien Chouteau <chout...@adacore.com> wrote: > If the -kernel option is for Linux only, we have to rename it to -linux. > And we remove the ambiguous -kernel option.
This isn't possible, for backwards compatibility reasons. We have to retain -kernel/-initrd/-append under those names. > And I make a proposition for new options: > > -elf loads an ELF file in RAM, ROM or whatever memory area and start the > board at entry point. > > -raw-bin file=<filename>,addr=0x<load address> loads something at 'addr' > > Or we can mix the two with a -load option: > > -load file=<raw-bin-file> > -load file=<elf-file> > -load file=<raw-bin-file>,addr=<load address> > -load file=<raw-bin-file>,addr=<load address>,entry=<start addr> > > The option can be used as many times as needed on the command line. Of these, I prefer the last (-load). thanks -- PMM