Mbed is a great development board based on ARM Cortex microcontroller. It has some power to do fun things like driving VGA and still have enough processing power for custom work. Jordan used Mbed for his work in progress console project. So far he added PS/2 keyboard support, 640×480 VGA output.
He already implemented few basic commands like screen info, reboot etc. His next effort goes in to developing programming shell like Forth, BASIC. Initial evaluations are done but it would be better direct port of code to Mbed. Jordan welcomes anyone to contribute.