beb43c7d26
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> |
||
---|---|---|
.. | ||
Config.in | ||
device_table.txt | ||
Makefile.in |