At some point /boot will be full of old kernels (if /boot is a separate partition), which makes it impossible to make a dist-upgrade and it is therefore necessary to remove some old kernels.
Start by finding you current kernel
uname -r
which will give something like
2.6.24-25-server
Now, find all installed kernels
aptitude search linux|grep linux-image | grep “i [...]

The Avnet / Xilinx Spartan-3A Evaluation Kit is a $49 FPGA kit from Avnet, with a XC3S400A Spartan-3A FPGA, and a number of simple peripherals:

Xilinx XC3S400A-4FTG256C Spartan-3A FPGA
Four LEDs
Four CapSense™ switches
I2C temperature sensor
Two 6-pin expansion headers
20 x 2, 0.1-inch user I/O header
32 Mb Spansion® MirrorBit® NOR GL Parallel Flash
128 Mb Spansion MirrorBit SPI FL Serial [...]

This is a short how to install Xilinx ISE Webpack 11.1 / 11.3 under Ubuntu 9.10. Start by downloading the installation files from “Xilinx Download“. The file is 2.67 GB, and Xilinx requires you to have a free account in order to download the file.