| Vladimir Murzin | 1847119 | 2016-04-25 09:49:13 +0100 | [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 . | ||||