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 /bsd-user | |
| 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 'bsd-user')
0 files changed, 0 insertions, 0 deletions