linux defenitely does support dual ( or more processors), SGI have a system i think its called an ALTIX, one of their new ones, it runs a 64 bit version of linux that uses multiple processors, im not sure what sort of linux it uses, whether its free or their own SGI version, check out their website there may be some specific info there