Yep, there's loads and loads of config options. Linux isn't a big immutable blob, there's a reason it gets used in both tiny devices in supercomputers, you can

Yep, there's loads and loads of config options. Linux isn't a big immutable blob, there's a reason it gets used in both tiny devices in supercomputers, you can build your kernel however you like. It's not a microkernel but it does a pretty good job of being flexible for a monolithic kernel. If you're curious, clone the kernel source and run `make menuconfig` and you can play with it yourself