A github repository with only the Tiva-related files following the ChibiOS directory structure would be ideal in my opinion.
In that case we want to fork and follow chibios 3.0 with git and this subtree is effectively a branch rebased onto of the chibios master.
The files we touch in the git fork are exactly that only the Tiva-related files following the ChibiOS directory structure. And when things change upstream in chibios 3.0 master we pull them commit by commit when things break.
When users want to use the Tiva HAL they will pull from us.
If we want to use different licensing which I actually do not see a need for.
I am fine with using Apache 2.0, but if you prefer another let me know. Is gpl v2 acceptable?
Marco, Who should we assign the copyright to. Or retain it for ourselves?
Than we would create a git submodule and NEVER touch code in the chibios 3.0 tree.
The git submodule will work well if all the Tiva HAL files fall in to a directory which can be copied into the chibios structure.
Marco,
This is weekend work for me. If you can share your current work via a simple github upload. I can do the git structuring work.