On their website, Penbex has the GPL Source code available.

You can find the various versions here: http://www.penbex.com.tw/gpl.htm 

It shows that the device is running uCLinux. (http://www.uclinux.org/).