Is there a turboc variant for linux, I vaguely remember working on turboc decades ago