Nick Hudson wrote: > Does this patch allow the build to finish and give you what you want? The build now succeeds, and there are VEXPRESS_A15 kernel files in the releasedir - thank you! -- Andreas Gustafsson, gson%gson.org@localhost