[config] Make the default image type selection platform-dependent
authorMichael Brown <mcb30@etherboot.org>
Mon, 13 Oct 2008 08:37:51 +0000 (09:37 +0100)
committerMichael Brown <mcb30@etherboot.org>
Mon, 13 Oct 2008 08:37:51 +0000 (09:37 +0100)
commitd4e152e7667ce8603c2517b8b0e025e54164d6bd
treeb8acf1bfd816e0ec80a56f52334f22afba385717
parent07e8f18f33eba7aef64d7d2cfafc6738f4096b5a
[config] Make the default image type selection platform-dependent
src/config/defaults/pcbios.h
src/config/general.h