Pawel Dziepak 7b9668170c kernel, boot: Increase CPU limit to 64		2013-12-16 05:00:02 +01:00
..
bios_drive.h	Some work on the boot disk identification: the kernel_args structure has	2004-11-15 17:59:15 +00:00
platform_kernel_args.h	kernel, boot: Increase CPU limit to 64	2013-12-16 05:00:02 +01:00
platform_stage2_args.h	Added platform_kernel_args.h for the BIOS IA32 platform.	2003-10-07 23:39:45 +00:00