Revisited the set of kernel flavours and the generation of config files
Until now, the build system for the kernel supported a number of
flavours: nrj and non-nrj ones, desktop-, laptop-, server- and
netbook-oriented, etc.
It turned out over the years, however, that our users mostly need the
following:
* a kernel to use on the desktops (home and office use) with reasonable
default settings for performance and responsiveness;
* a kernel for laptops, with a bit more emphasis on power consumption.
Other variants were rarely used. We also did not have enough time to
properly support all these.
Besides, the kernels for ARM and other architectures need a somewhat
different build process than for x86. So, they are better off to be in
separate ABF projects, even if they are needed. No signs of ROSA on ARM
yet, btw.
So, I kept only nrj-desktop and nrj-laptop flavours and only x86.
Non-PAE systems also seem to be rare now, so I enabled PAE by default
for the 32-bit kernels. Non-PAE kernels are no longer built. If they are
needed, we may use a separate git branch or an ABF project for that.
To simplify debugging, maintenance and experimentation with the kernel
builds further, I revisited the process of preparing the kernel
configuration files. The goal is to get rid of a separate git repo with
the default configs (kernel-patches-and-configs) and keep everything in
this project.
The default config files are now kept here. For x86_64:
* kernel-x86_64.config contains the options for both nrj-desktop and
nrn-laptop flavours;
* kernel-{nrj_desktop|nrj_laptop}-x86_64.config files contain the
flavour-specific options.
This way, it is easier to track which config options changed when,
easier to experiment with the custom configs and so on.
The kernel will be built with debug info if rpmbuild is called with
"--with debug".
2016-07-21 13:56:25 +03:00
|
|
|
CONFIG_HZ_300=y
|
|
|
|
|
# CONFIG_HZ_1000 is not set
|
|
|
|
|
CONFIG_HZ=300
|
|
|
|
|
# CONFIG_BLK_DEV_DRBD is not set
|
|
|
|
|
# CONFIG_FUSION is not set
|
|
|
|
|
# CONFIG_ARCNET is not set
|
|
|
|
|
# CONFIG_ATM_DRIVERS is not set
|
|
|
|
|
# CONFIG_FDDI is not set
|
|
|
|
|
# CONFIG_HIPPI is not set
|
|
|
|
|
# CONFIG_WAN is not set
|
|
|
|
|
# CONFIG_CAPI_AVM is not set
|
|
|
|
|
# CONFIG_CAPI_EICON is not set
|
|
|
|
|
# CONFIG_INFINIBAND is not set
|
2016-10-23 22:01:06 +03:00
|
|
|
# CONFIG_NVME_RDMA is not set
|
|
|
|
|
# CONFIG_NVME_TARGET is not set
|
|
|
|
|
# CONFIG_RDMA_RXE is not set
|