Satellite Controller UART
set_property PACKAGE_PIN BE15 [get_ports satellite_uart_rxd]
set_property -dict {IOSTANDARD LVCMOS33} [get_ports satellite_uart_rxd]
set_property PACKAGE_PIN BD15 [get_ports satellite_uart_txd]
set_property -dict {IOSTANDARD LVCMOS33 DRIVE 4} [get_ports satellite_uart_txd]
Satellite Controller GPIO
set_property PACKAGE_PIN M15 [get_ports satellite_gpio[0]]
set_property -dict {IOSTANDARD LVCMOS33} [get_ports satellite_gpio[0]]