2019-05-19 12:07:45 +00:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2015-05-09 07:53:54 +00:00
|
|
|
# Empty file waiting for deletion once Makefile.boot isn't needed any more.
|
|
|
|
# Patch waits for application at
|
2020-09-24 10:11:13 +00:00
|
|
|
# https://www.arm.linux.org.uk/developer/patches/viewpatch.php?id=7889/1 .
|