It does just say Amiko Mini in the title but does say Amiko Alien Mini in the first post, similar named (and looking) receivers though but both very different.
The Amiko Alien Mini is indeed Linux based with dual boot Spark and Enigma2 operating systems - I've attached a PDF guide for flashing and booting to Enigma2.
This can be quite fussy about USB sticks used, ideally you want a genuine Kingston 4GB USB stick, they are becoming harder to find though, generally 8GB also works, any bigger and you can start running into problems but that's not to say other brands and sizes don't work it's just genuine Kingston almost always will. Use something like HP Tool to format the USB stick to FAT32 before hand.