pc-bios: Update palcode-clipper
Update image to c87a92639b28ac42bc8f6c67443543b405dc479b,
incorporating changes for vm_time.
Signed-off-by:
Richard Henderson <rth@twiddle.net>
Loading
Please register or sign in to comment
Update image to c87a92639b28ac42bc8f6c67443543b405dc479b,
incorporating changes for vm_time.
Signed-off-by:
Richard Henderson <rth@twiddle.net>