linux/kernel/configs
…
History
..
tiny.config