You are welcome!
If you can telnet into the Galileo board and get a prompt, Linux is for sure running on your Galileo board ;-)
It is either loading the OS from the SPI flash or if you have an SD card with the right image files on, it can also be loaded from that (the SD card led on the Galileo board will be flashing for about 40 sec on power up if you are running from SD card)
/Thomas