From this project's inception we've just been hard-coding the clock source for peripheral drivers (usually just using the default clock source). This has been done just to keep things simple. We've reached the point that I feel we should start thinking more about this. I think it should not be too difficult to provide consistent APIs for configuring clock sources.
(I have not thought about this much (or at all, really) yet but I will update this comment once I have a better idea of what we should actually do about this)
From this project's inception we've just been hard-coding the clock source for peripheral drivers (usually just using the default clock source). This has been done just to keep things simple. We've reached the point that I feel we should start thinking more about this. I think it should not be too difficult to provide consistent APIs for configuring clock sources.
(I have not thought about this much (or at all, really) yet but I will update this comment once I have a better idea of what we should actually do about this)