On 16 January 2012 23:31, andrzej zaborowski <balr...@gmail.com> wrote: > On 16 January 2012 09:31, Peter Maydell <peter.mayd...@linaro.org> wrote: >> [*] realview, vexpress, highbank and exynos4 all do something >> that's sufficiently similar that we can handle them all by >> parameterising the secondary boot code a bit. omap is kinda >> different but then we don't support -kernel with omap anyway. > > In the last sentence you mean the SMP case, right?
Hmm, I think I was a bit confused there. So (a) you're right that the non-SMP case doesn't have a platform dependency so it will work on anything that wants to call arm_load_kernel (including omap boards). (b) omap1-3 are all single core anyhow, and I don't know of anybody who's proposing to write an omap4 model right now (c) the currently-out-of-tree omap3 models don't call arm_load_kernel but instead have a model of the omap3 boot rom and just boot from SD card images like the real hardware. [It's (c) that I was vaguely thinking of when I wrote that remark.] -- PMM