On 04.04.2013, at 13:53, Andreas Färber wrote:
> For PReP, Fabien has not stated what his use case actually is (in
> particular which hardware?), so it's hard for me to comment on what
the
> hardware actually does and I thus won't accept random changes just
> because they happen to be in Leon3 code. There's nothing
conceptually
> wrong with loading ELF code so I'm positive we will find a solution
to
> accommodate all use cases in some way. :)
I think it makes a lot of sense to support loading -kernel as an ELF
binary. I don't think it's a good idea to allow -kernel without any
BIOS. We do that on the e500 machines and so far it's mostly hurt us.