On 9/18/18 10:06 PM, H. Peter Anvin wrote: > https://www.abc80.org/…/abc…/test/abc80sim-3.0-rc1-win64.zip Sorry for the mangled URL, it is really supposed to be: https://www.abc80.org/pub/abc80sim/test/abc80sim-3.0-rc1-win64.zip