Dear all, Greetings! This is Xiangyi Meng, working on adding SGX support to Unikraft (https://unikraft.org/, repo at https://github.com/unikraft/unikraft), a Unikernel solution that is under active development. This work, at its initial phase, needs us to port the OOT linux-sgx-driver to Unikraft, which follows BSD 3-clause license. However, during the porting process, I am aware that the OOT linux-sgx-driver is licensed under two license: (a) a 3-clause BSD license; or alternatively (b) the GPL v2 license. Here I wonder, does such "dual-license" explicitly mean the OOT driver can be redistributed as either one or the other? Sorry for bothering all of you in this mail list but we need to clarify this before we can continue on this porting work. Thank you very much! Best Regards, Xiangyi Meng