It comes with Red Flag linux but I replaced it with Fedora 10 almost
without any problem.
To install Fedora put in the kernel parameters (GRUB):
Indeed, to install the OS I tried
acpi=off atapicd noapic noagp noapm nomce nofirewire nopcmcia nosmp
because the computer hangs in the boot process, but once the installation
was finished I found on internet that
clocksource=jiffies is enough to solve
grub.conf file looks like:
default=0 timeout=10 splashimage=(hd0,0)/boot/grub/splash.xpm.gz hiddenmenu title Fedora (22.214.171.124-117.fc10.x86_64) root (hd0,0) kernel /boot/vmlinuz-126.96.36.199-117.fc10.x86_64 ro root=/dev/sda1 rhgb clocksource=jiffies initrd /boot/initrd-188.8.131.52-117.fc10.x86_64.img
I didn't check the card reader yet but everything else works fine: sound, wifi, touchpad, Spanish keyboard, shortcut keys, USB ports.
This guide is a courtesy by Gabriel Sere.