- Add back missing device tree definitions in machine files
- Switch to mainline kernel by default
- Add description to switch back to sunxi versions in README
Signed-off-by: Jens Lucius <info@jenslucius.com>
It uses 3 different SOC_FAMILY sun4i,sun5i,sun7i this list come from here http://sunxi.org/Allwinner_SoC_Family
Adding a new machine should be now more easy, as we have now to only create a new machine.conf file, set the right SOC_FAMILY and include the right arch inclue.
Move device tree configuration to machine files. Check for device tree
in sd card creation and include device tree file in first partition.
Signed-off-by: Jens Lucius <info@jenslucius.com>
Recent u-boots (e.g. 2014.04-rc) need the _config appended to work, so
add that and sync the names with boards.cfg as well.
Signed-off-by: Koen Kooi <koen@dominion.thruhere.net>
