When playing video with hello_video, I get a "Segmentation fault" when the video is done playing.
By placing a couple of printf() statements in the code I have figured out that the segfault happens in the OMX_Deinit() call. I noticed that if I have a lot (say 5) of printf() statements in the teardown/cleanup/deinit code, hello_video.bin will sometimes exit normally. So this might be a timing-related issue. Or it might be something entirely different.
This is on a fairly recently rpi-updated 256mb model B rev 1.