[pso] Masina virtuala nou de Linux

[Razvan Deaconescu]

Salut!

Din cauza unor probleme legate de vmchecker[1], masina virtuala de Linux
a fost inlocuita[2] (so-vm-linux-krypton). Specificatiile, pachetele
instalate si versiunea de nucleu sunt similare. Aceasta masina este
folosita de vmchecker pentru testarea automata a temelor.

Masina veche de Linux (so-vm-linux-argon) este inca disponibila.

Ne cerem scuze pentru modificare; problema cu vechea masina virtuala
(inca nu stim concret despre ce este vorba) a fost detecta in momentul
integrarii in vmchecker.

Razvan

[1] https://elf.cs.pub.ro/vmchecker/ui/
[2] http://elf.cs.pub.ro/so/vm/