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