diff options
| author | Richard Henderson <rth@twiddle.net> | 2013-07-16 06:48:28 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@twiddle.net> | 2013-07-18 08:17:42 -0700 |
| commit | b957a1b03cfd56134519ebc01ba8fe1b166c0c84 (patch) | |
| tree | b5dad1a40d5de569f0e03eed1adf387250c97bbc /pc-bios/palcode-clipper | |
| parent | 19e0cbb82ffab7220cdbcc78ab2c1dac823ce4e3 (diff) | |
pc-bios: Update palcode-clipper
Update image to c87a92639b28ac42bc8f6c67443543b405dc479b,
incorporating changes for vm_time.
Signed-off-by: Richard Henderson <rth@twiddle.net>
Diffstat (limited to 'pc-bios/palcode-clipper')
| -rwxr-xr-x | pc-bios/palcode-clipper | bin | 185703 -> 133550 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pc-bios/palcode-clipper b/pc-bios/palcode-clipper Binary files differindex a92372c107..9956340cd1 100755 --- a/pc-bios/palcode-clipper +++ b/pc-bios/palcode-clipper |