e2b2e3886b
With this patch it is possible to boot a device with kernel 3.10 a second time. Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de> SVN-Revision: 37625 |
||
---|---|---|
.. | ||
imagebuilder | ||
linux | ||
sdk | ||
toolchain | ||
Config.in | ||
Makefile |