diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-12-05 21:52:44 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2010-12-16 12:19:25 +0100 |
| commit | beb43c7d26eff220acb6de98300f4e0865352154 (patch) | |
| tree | 85aaedb65547426c369eb35d0a9f8aafecb24c6d /target/device/valka/device_table.txt | |
| parent | 9e1107ba14b0af2f39232aedf7e997aaed098899 (diff) | |
Re-add target/generic/Config.in options to menuconfig
The options to customize the hostname, the banner and the serial port
configuration are now inside a menu named 'System configuration'.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'target/device/valka/device_table.txt')
0 files changed, 0 insertions, 0 deletions