Update of flavours
In case of updates (e.g., drivers) on platforms such as g5k, we would need to update the flavours.
Potential solutions:
- external repo containing the flavours that the users will query to fetch the updated flavour
- ....
In case of updates (e.g., drivers) on platforms such as g5k, we would need to update the flavours.
Potential solutions: