From b957a1b03cfd56134519ebc01ba8fe1b166c0c84 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Tue, 16 Jul 2013 06:48:28 -0700 Subject: pc-bios: Update palcode-clipper Update image to c87a92639b28ac42bc8f6c67443543b405dc479b, incorporating changes for vm_time. Signed-off-by: Richard Henderson --- pc-bios/palcode-clipper | Bin 185703 -> 133550 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'pc-bios/palcode-clipper') diff --git a/pc-bios/palcode-clipper b/pc-bios/palcode-clipper index a92372c107..9956340cd1 100755 Binary files a/pc-bios/palcode-clipper and b/pc-bios/palcode-clipper differ -- cgit v1.2.1