6 return " import Uart16550 :: *;"
9 return " interface RS232_PHY_Ifc uart{0}_coe;" \
10 " method Bit#(1) uart{0}_intr;"
15 return " import Uart_bs::*;\n" \
16 " import RS232_modified::*;"
19 return " interface RS232 uart{0}_coe;"
24 return " import I2C_top :: *;"
27 return " interface I2C_out i2c{0}_out;" \
28 " method Bit#(1) i2c{0}_isint;"
33 return " import qspi :: *;"
36 return " interface QSPI_out qspi{0}_out;" \
37 " method Bit#(1) qspi{0}_isint;"
42 return " import pwm::*;"
45 return " interface PWMIO pwm_o;"
50 return " import pinmux::*;" \
55 return " interface GPIO_config#({1}) pad_config{0};"
59 class PFactory(object):