State of the x86 Port: April 2017
For the first time, the April State of the x86 Port includes a Project Summary section for non-engineers, or for a high-level view of the substantial work expended in this porting project. This summary is followed by more technical details discussing work performed on: compilers, objects/images, binary translator, early boot path, dump kernel, and conditional code verification.