On Fri, Jan 27, 2006 at 11:45:34AM +0100, Franck wrote: > no some are. As we said previously: > > 1/ sizeof(vmlinux-mips32r2-Os) > sizeof(vmlinux-4ksd-Os) > 2/ with -march=4ksd can do (slightly) better optimizations > > > for every 4KSd embedded Linux platform there are several 4KEc platforms > > that would benefit from a smaller kernel footprint. > > > > -Os can already be choosen by user in kernel configuration. Your > CONFIG_CPU_MIPS_SMALL option brings nothing more except that the user > is stuck with -Os option. BTW, I think it may be the default option in > the near future for mainline... Not before demonstrating that it is a clear win under all circumstances. Ralf
