Retropie is a custom image of raspbian (the raspberry pi flavor of debian), so yes linux. It's really popular with the emulator crowd since it comes with about 20+ emulators and a front end based on emulation station. The one system it's missing that a lot of people want is colecovision.
I currently have a little box that does atari 2600, 5200, 7800, NES, SNES, DOOM I and II, Quake 3 and OpenArena. I *really* want coleco on this as well.
But yeah, it's ARM, not x86 so coolcv didn't run on the raspberry pi.
IntvDave on here has been compiling the source code for ADAMEm for his retropie and it works there. I have some updates on the emulator that allow the original controllers, along with the roller controller and super action controllers to work with the Intellivision Ultimate PC Interface inside the emulator. I've been stalled out getting a build together for this, but should have something shortly. It should be a fairly significant improvement over ADAMEm/SDL 1.81.
I've compiled a highly-experimental version of CoolCV v0.5.1 for Raspberry PI, it should work in Raspbian and you need libSDL2.
No build of libSDL2 is readily available, so you should compile it running the following (takes over an hour):
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install build-essential libfreeimage-dev libopenal-dev libpango1.0-dev libsndfile-dev libudev-dev libasound2-dev libjpeg8-dev libtiff5-dev libwebp-dev automake
tar zxvf SDL2-2.0.3.tar.gz
cd SDL2-2.0.3 && mkdir build && cd build
../configure --disable-pulseaudio --disable-esd --disable-video-mir --disable-video-wayland --disable-video-x11 --disable-video-opengl --host=armv7l-raspberry-linux-gnueabihf
make -j 4
sudo make install
Also you should unzip the file in a "short" directory like the default /home/pi and run it from the Run option in main menu like this /home/pi/coolcv_pi /home/pi/quest.rom
Otherwise the terminal or any other window open "stops" the emulator for each key.
If possible you should overclock the PI to 800mhz for better experience, it works just fine in a big HDMI TV
Please don't ask me for support or enhancements on this one, I've to return the Raspberry PI very soon and it takes ages to compile each version of CoolCV.
BTW, I wanted to put this in first post, but time has passed and now I cannot edit it