add_board(
    name arty35t
    device xc7a35t
    package csg324
)

add_board(
    name arty100t
    device xc7a100t
    package csg324
)

add_board(
    name nexys_video
    device xc7a200t
    package sbg484
)

add_board(
    name basys3
    device xc7a35t
    package cpg236
)

add_board(
    name zybo
    device xc7z010
    package clg400
)