Does SDMC (United Group) settop box supported?

Does SDMC DV8519 set top box supported? It is supported by Harmony, but I cannot find it in the Sofabaton device list.