Hello from Portugal!
First of all let me thank you for this awesome project.
I already ordered one piece of this amazing hardware, however, I have a few questions about it.
I know that this is a microcontroller development board (like Arduino)... but one million times better. It can run a complex OS like Linux or just flash an LED.
If you want simply to flash an LED, you don't need to boot Linux. You could just write your code, compile it, send it to the uC and attach an LED to the corresponding GPIO port.
So, my questions are:
1) Which Integrated Development Environment (IDE) can you use to write code, compile it and sent it to the uC?
2) Should you use a software specific from ARM for the above procedure?
3) Do they (ARM) have an IDE for their uC's?
4) Can I make my own hardware to program the uC?
5) Is there any ICSP port on the Raspberry Pi? I think I saw an image from the 26 pin terminal (GPIO) stating that you have access to MISO, MOSI, CLK and RST. So, you can flash it via those terminals?!
Regards.
Vasco

