Is it possible to use Raspberry Pi as a simple high performance digital machine?
I could use Raspberry as this hardware is (fast cpu, 64mb+ ddr memory, gpios / interrupt source lines, sd card, ethernet). However i need this _without_ OS for better performance. I need just a C compiler and C stack source code for peripherals.
If it is possible, how to build up that sd card image? (Or is it exists already?)