Alexander von Gluck IV 6647d2c95a kernel: fix missing SMP_MAX_CPUS on non-x86 ... * Regression introduced due to scheduler change * Drop MAX_BOOT_CPUS as it is no longer used		2014-01-19 14:09:51 -06:00
..
platform_arch.h	system loader: Initial work on new rasberrypi_arm loader	2012-05-01 16:57:58 -05:00
platform_debug.h	Add debug helpers that communicate information via the LED.	2012-11-27 20:58:31 +01:00
platform_kernel_args.h	kernel: fix missing SMP_MAX_CPUS on non-x86	2014-01-19 14:09:51 -06:00
platform_stage2_args.h	system loader: Initial work on new rasberrypi_arm loader	2012-05-01 16:57:58 -05:00