A strange Operating System (FORTH-based version) (http://www.flyingsquirrelos.org/)
darcs get http://hub.darcs.net/pointfree/FlyingSquirrelOS # Get it. cd FlyingSquirrelOS/boot sudo mkdosfs /dev/mmcblk0 -F 32 -I # Reformat the sd card if needed. (Check that it's the right one and that there's nothing of value on it!) make -B # Build the kernel.img sudo mount /dev/mmcblk0 /media/sd_card_mount_point # Mount your sd card. make install DESTDIR=/media/sd_card_mount_point # Install the files. sudo umount /media/sd_card_mount_point # Unmount & Enjoy.