I am working on a project using a Digilent Basys Board with a Spartan 3e-100 chip with 250K gates. In order to set up a GUI, I chose to use MicroBlaze. Does anyone have any experience with this? I have ISE 10.1 and EDK 10.1, but when I try to add a source to a new project the embedded processor option is not available. Does anyone have any experience with this? Any help would be greatly appreciated. Thanks!