root wrote:

Although I suspected that my device was a Rasberry Pi, I'm not sure.
I thought it best to refer to as a Kodi device and let it go
as that. I solved my immediate problem after finding out the
receiver doesn't map the inputs at the back to the selections
and display on the front.

For what it's worth:

If they didn't *******ize the kodi too much, you should be able to:

home - system - system info - hardware

and see the type of processor in there along with the cpu speed.

Might give some clue to the guts.

-bruce