[nsxwolf]

You can clock the 8088 to 10MHz, and the NEC V20 drop-in replacement ran up to 16MHz. I'd be curious to see one of those run this.