I checked ChibiOSBeta20121217.zip http://code.google.com/p/beta-lib/downloads/list and it has a blink print for ARM but I called the file ChBlinkPrint.ino instead of chBlinkPrint.ino. It works on windows but probably not on Linux or a Mac.
I like ChibiOS but FreeRTOS is very popular and there are lots of examples and documentation for FreeRTOS. I leave it to users to choose.
I will soon post 16 examples from the FreeRTOS book. I can't post the book because of copyright.
I will also be posting more ChibiOS examples.