diff options
| author | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2014-10-17 13:08:36 +0200 |
|---|---|---|
| committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2014-10-17 14:36:53 +0200 |
| commit | 58470e39b3958292e112e13251c5c811409a7a02 (patch) | |
| tree | dfe00950b30022cf84699d2452b45786c98d2a4f /util/lint | |
| parent | 06c788db1ac6fd1faa1de67d4c0ddd03f3dbdbbe (diff) | |
Kconfig: clean up options in top level and device menu
Move generic options to the "General Setup" menu.
Move device specific options to the "Devices" menu.
Change-Id: I514a021305d43f026b24fd3016477300700ed401
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: http://review.coreboot.org/7089
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions