Improper kernel tuning can cause instability. Always test changes in a non-production environment.
[5] Elphinstone, K., & Heiser, G. (2013). From L3 to seL4: What have we learnt in 20 years of microkernels? SOSP ‘13 . kernel os 10