Minimal linux kernel config file for IBM/Lenovo x61s laptop with Atheros AR928X
wifi and support for encrypted disks. Supports most stuff in this machine, e.g.
the built-in SD card reader. Firewire and other things intentionally left out.
Uses the ck patch set [1] using the MuQSS scheduler.

Also install tp_smapi [2] and PHC-Intel [3]. Patched for O3 optimization (also
modify Makefile of PHC-Intel). Will integrate turbomem [4] module once it's
ready.

Current version: 5.10.37-pks


[1] http://ck.kolivas.org/
[2] https://github.com/evgeni/tp_smapi.git
[3] https://gitlab.com/linux-phc/phc-intel
[4] https://github.com/yarrick/turbomem