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

ARM: move kernel calling code to arch specific file

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

platform_kernel_args.h

…

platform_stage2_args.h

[ARM]

2009-08-13 05:28:30 +00:00

uimage.h

[ARM]

2009-08-13 05:28:30 +00:00