On Mon, Dec 21, 2015 at 05:41:58PM +0100, Ard Biesheuvel wrote:
This series relicenses some ARM/AARCH64 source files as BSD+GPL (the ones that were authored by me). It also replaces the ARM arithmetic support code with the BSD licensed EDK2 version, which is also more complete.
Thanks Ard, that's very helpful. I have not taken a closer look at the merged result and checked if that's all that's needed or if some things still remain, but I'm already very happy :)