Open
Description
Hi @gz, I am one of the maintainers of Tock. We have recently received a pull request (tock/tock#4171) that ports Tock to the x64 architecture.
Tock has a very strict no-external-dependency policy, which is a bit of a problem of this pull request, as it uses this crate as an external dependency. After discussing the issue in the core group, we would like to internalize the used parts of this x86 crate into Tock's code base (with posting the credit and correct license header).
Tock is licensed Apache 2.0 or MIT, while this x86 crate is only MIT. We would like to kindly ask you if it would be possible to re-license this crate to the Tock project under both licenses mentioned above? This would help us to move forward with the x86 port.
Metadata
Assignees
Labels
No labels