On 12 October 2018 at 14:24, Damien Hedde <damien.he...@greensocs.com> wrote: > I'm wondering if in such a case (a fixed frequency base clock), we > should have a way to change the frequency through command line ? (In > order to start the machine with, for example, a 50MHz base clock). > But I don't know what's the right way to do it and if it needs some kind > of special support in the clock object or in the machine object, like a > frequency property.
New command line arguments are a complexity you don't want to get in to. Just have the board model the frequency at whatever it typically is. It seems vanishingly rare that a user would really care to model the board frequency as something different. thanks -- PMM
