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
uimage.h