2019-05-19 20:07:45 +08:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2017-05-31 09:06:21 +08:00
|
|
|
# Empty file waiting for deletion once Makefile.boot isn't needed any more.
|
|
|
|
|
# Patch waits for application at
|
|
|
|
|
# http://www.arm.linux.org.uk/developer/patches/viewpatch.php?id=7889/1 .
|
