| Joachim Eastwood | e8d235d | 2015-05-12 00:00:47 +0200 | [diff] [blame] | 1 | # Empty file waiting for deletion once Makefile.boot isn't needed any more. |
| 2 | # Patch waits for application at | ||||
| 3 | # http://www.arm.linux.org.uk/developer/patches/viewpatch.php?id=7889/1 . | ||||