¿Entiende que la tarjeta Basys2 es una tarjeta basada en FPGA, no un microcontrolador? Debe programar un HDL (como Verilog o VHDL) para programar el FPGA.
Si programa el FPGA para que contenga (posiblemente entre otras cosas) un microprocesador, entonces es posible que pueda usar el entorno de programación TinyOS / nesC en ese procesador. Tendría la opción de portar nesC a, digamos, la CPU Microblaze que proporciona Xilinx (tal puerto ya puede existir, pero es difícil decirlo con una búsqueda casual), o implementar una CPU en el FPGA que ya tiene puertos CNP a ello.