https://github.com/davepinch/pinchy.cc/blob/master/content/topics/computers/microprocessors/intel-iapx-432/intel-iapx-432.md