[ { "module": "clocker", "interface": [ "sys_clk" ], "tickfirst": true }, { "module": "serial2console", "interface": [ "serial", "sys_clk" ] } ]