ISEE-IGEPv5 Dev Board and HDMI

Strangely, with 3.8 kernel I got the Pyra logo and wizard, and with 4.4 I go straight to the Debian login manager.

EDIT: I made a mistake.
Last edited:
hi i am new in the electronics development field. I worked on Arduino, Raspberry Pi and ATMEL AVR32 boards.
I want to know about the ISEE-IGEPv5 board. What are its specifications and applications?
Is it compatoble with any other board which i used before?