A short hack to boot Linux kernel on IXP2400 with an old RedBoot
================================================================

Version 1.0 / 2003-05-22
 David MENTRE <mentre@tcl.ite.mee.com> 


* The issue:

 Latest kernel for IXP2400 from Deepak Saxena need certain things to
 be done by the bootloader before booting the linux kernel, like
 puting machine type in register r1.

 All details are in file Documentation/arm/Booting of kernel source
 tree.

* The solution:

 Use a recent bootloader that set needed information, like RedBoot
 with 'exec' command to start the kernel in Intel IXP2400 HDK7.

* The hack:

 To avoid changing the bootloader, apply the following patch. It is a
 hack, it may not work in the future. YMMV.

--start of patch--
--- arch/arm/kernel/head-armv.S~        2003-05-05 11:27:40.000000000 +0200
+++ arch/arm/kernel/head-armv.S 2003-05-05 11:36:15.000000000 +0200
@@ -131,6 +131,8 @@
                mov     r1, #MACH_TYPE_L7200
 #elif defined(CONFIG_ARCH_IXP1200)
                mov     r1, #MACH_TYPE_IXP1200
+#elif defined(CONFIG_ARCH_IXDP2400)
+                mov     r1, #MACH_TYPE_IXDP2400
 #endif

                mov     r0, #F_BIT | I_BIT | MODE_SVC   @ make sure svc mode
--end of patch--