[PATCH] Fixes for boot image

[chrisj]

Hi,

I will push these patches soon to fix the convert kernel option and
Linux support.

Chris


_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel