
Add machine configuration file. Change the kernel image name on SD card. Use the defconfig for this machine (bcm2709_defconfig). Change-Id: I6549d5f49b1ed32ef4d44aca6f7af4234618c1a8 Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
Add machine configuration file. Change the kernel image name on SD card. Use the defconfig for this machine (bcm2709_defconfig). Change-Id: I6549d5f49b1ed32ef4d44aca6f7af4234618c1a8 Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>