I don't know it that well no, but getting to know it. I read somewhere it's Linux.
The way I set it up was to save the patched firmware on a USB, extract it, then open the extracted file on the receiver.
It was installed and brought up new functionalities, including a menu item for easily setting up servers (ports, usr, pass etc), without having to access and manually edit any files. In those settings there is also a EMM option but is disable.
As far as I can see in the menu, there is no option to access or edit any files.
Hope that makes sense.