# 12 MHz clock
set_io wb_clk        35

# RS232
set_io q 9