On Thu, Jul 31, 2008 at 12:09:29PM +0200, Bernhard Fischer wrote: > On Thu, Jul 31, 2008 at 11:27:04AM +0200, Thomas Petazzoni wrote: > >This patchs adds the CONFIG_AIO option which allows to remove support > >for asynchronous I/O operations, that are not necessarly used by > >applications, particularly on embedded devices. As this is a > >size-reduction option, it depends on CONFIG_EMBEDDED. It allows to > >save ~7 kilobytes of kernel code/data: > > Shouldn't this also make sure not to install aio_abi.h or at least an > empty aio_abi.h? The userspace headers are independent of any kernel configuration (except for the architecture). cu Adrian -- "Is there not promise of rain?" Ling Tan asked suddenly out of the darkness. There had been need of rain for many days. "Only a promise," Lao Er said. Pearl S. Buck - Dragon Seed -- To unsubscribe from this list: send the line "unsubscribe linux-embedded" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html