NuttX

NuttX has been ported to the Bifferboard. Well, not specifically the Bifferboard, but an x86 system that is compatible with the Bifferboard.

svn co https://nuttx.svn.sourceforge.net/svnroot/nuttx nuttx

cd nuttx/trunk/nuttx/tools

./configure.sh qemu-i486/nsh

cd ..

make

Flash the file nuttx.elf to the Bifferboard and it should give you a shell.