玄箱なら1万程度だ。玄箱にdebian入れてgccでいいだろ。