François Revol e3591817b3 ARM: move kernel calling code to arch specific file ...

* needs some more cleanup.
* had to change gUBootOS to 32bit to avoid a linker bug.

2011-11-21 01:22:32 +01:00

..

platform_arch.h

…

platform_kernel_args.h

…

platform_stage2_args.h

…

uimage.h

…