| Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [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 . | ||||