chiark / gitweb /
x86-model.c: Actually display the stepping.