Matt Fleming bd0a22d21f sh: Convert SystemH board support from hw_interrupt_type to irq_chip %!s(int64=16) %!d(string=hai) anos
..
Makefile da2014a2b0 sh: Shuffle the board directories in to mach groups. %!s(int64=17) %!d(string=hai) anos
io.c 7639a4541f sh: Migrate common board headers to mach-common/. %!s(int64=16) %!d(string=hai) anos
irq.c bd0a22d21f sh: Convert SystemH board support from hw_interrupt_type to irq_chip %!s(int64=16) %!d(string=hai) anos
setup.c 7639a4541f sh: Migrate common board headers to mach-common/. %!s(int64=16) %!d(string=hai) anos