>
> While looking at trimming down a kernel I noticed that one of the
> largest objects is pciide.o.  Since the particular board I was looking
> at only had a PIIX pciide controller, I've added some options so that we
> can select only a subset of all pciide controllers we support.
>
> As an example, adding:
>
> options         PCIIDE_RESTRICTED_SUPPORT # don't enable all pciide support
> options         PCIIDE_PIIX_ENABLE        # enable PIIX support
>
> to my kernel config results in pciide.o shrinking quite a lot:
>
> text    data    bss     dec     hex     filename
> 44752   80      0       44832   af20    pciide.o.before
> 13368   80      0       13448   3488    pciide.o.after
>
> What do people think of this?

while reducing kernel size of 30kB sounds good (and definitely it's worth
of work), reducing .data and .bss segment size of system libraries could
save such amount for EVERY process. for libc (x86):
 12 .data         0000212c  00080840  00080840  0007f840  2**5
 18 .bss          0000b060  00083660  00083660  00082660  2**5
                  ALLOC

15 pages total, possibly 16 as there are .got etc..

it doesn't make sense that minimal program take >64kB of unshared
memory.