シンボリックス
シンボリックスの最初の製品 LM-2 は、MIT CADR というLISPマシン設計の焼き直しであった。そのオペレーティングシステムとソフトウェア開発環境は、MITの Lisp Machine Lisp を使っていて、50万行以上の規模があった。
XENIX
当時スーパーマイクロコンピュータと呼ばれたザイログZ8001、モトローラMC68000用のサポートも発表、販売されたが、商業的に成功することはできなかった。そのため、XENIXと言えば1983年にSCOによって8086シリーズに移植、販売されたものを指すのが一般的である。