François Revol 09d213f3b3 PPC: OF: Make sure kernel args match the U-Boot one ...

Since both platforms can boot the same kernel we must accept either
arg, so we make sure they are identical for now.

TODO: use a union or KMessage maybe?

2013-09-17 15:49:49 +02:00

..

amiga_m68k

…

atari_m68k

…

bios_ia32

…

cfe

…

generic

…

openfirmware

PPC: OF: Make sure kernel args match the U-Boot one

2013-09-17 15:49:49 +02:00

pxe_ia32

…

raspberrypi_arm

Add debug helpers that communicate information via the LED.

2012-11-27 20:58:31 +01:00

routerboard_mipsel

…

u-boot

U-Boot: pass a copy of the FDT to the kernel

2013-04-21 01:15:43 +02:00