I installed ohPlayer headless on my Raspberry Pi model B rev 1:
pi@raspberrypi:~/ohdevtools $ uname -a Linux raspberrypi 4.1.19+ #858 Tue Mar 15 15:52:03 GMT 2016 armv6l GNU/Linux
It's a armv6l. Please add 'armv6l' to default_platform.py in ohdevtools.
Thanks.