David Abdurachmanov aebdc22668 Remove all CONFIG_CMDLINE_* ... These are not needed right now. Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>		2019-12-13 22:19:44 +02:00
..
fedora	Remove all CONFIG_CMDLINE_*	2019-12-13 22:19:44 +02:00
build_configs.sh
config_generation	Revert changes in config_generation	2019-11-06 08:54:37 +02:00
merge.pl
process_configs.sh