Im in a bad signal area so haven't had much chance to dig but it looks reasonably legit http://mibox.telebee.com/box/ So it looks like this could be running Android TV - Operator Tier, this is the base Android TV BUT it allows the launcher to be modified by Broadcaster selling the box
What UI is that though? That's not the leanback launcher UI.
Maybe some sort of custom UI for the korean market?