e23a4bc752
Instead of the current mix between system config and filesystem menus. At the same time rename 'Target filesystem options' menu to 'Filesystem images' as it now only contains options about image formats. Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk> |
||
---|---|---|
.. | ||
Config.in | ||
device_table_dev.txt | ||
device_table.txt | ||
Makefile.in |